Investigate annotating all the code with mypy

[sylvinus]

See Zulip's experience there:
http://blog.zulip.org/2016/10/13/static-types-in-python-oh-mypy/