Add type annotations and mypy #13

Closed unmade closed 4 years ago