Add mypy type annotations where appropriate

[krig]

Now that we're on Python 3, we can use mypy and static type annotations to catch mistakes faster:

http://www.mypy-lang.org/ http://www.mypy-lang.org/examples.html