Adding static types to a Python project

mypy (and Python!) has gotten a lot nicer since I spent much time with it back at Dropbox.

For anyone left in suspense at the end:
- I had to leave suddenly to someone doing work at my place into my room
- I did end up using Protocol for this, it was slick!