mypy stub files

https://www.python.org/dev/peps/pep-0561/