Add types and mypy

[bskinn]

The autocomplete from typing will be helpful, and mypy is a good idea.

As usual, though, it's not working like I expect. May or may not be worthwhile.