Mypy support

This codebase currently has quite a few type annotations for classes and functions. Using a static type checker (mypy) to validate these would:

- prevent these type annotations from going out of date
- would allow us to pick up bugs in the software (or allow us to pick up edge cases, where we can provide better error messages)