Add type checking & linting?

[PeterJCLaw]

It would be great if this could include type checking & linting of the compstate in addition to running tests.
This might involve having a standard config here, though we probably also want to allow it to be overridden within the compstate as needed.