Add mypy linting

[bluetech]

Typing makes it easier to make changes with some confidence, nice in editors and make for a nice linter. The typing can be gradual. This issue is just about adding the basic infrastructure.