Type hints

Now that we require Python 3.5 our library can provide type hints for our IDE
users...

  https://docs.python.org/3/library/typing.html

Needless to say this is a large overhaul. Dynamic return types and our
custom enumerations are incompatible with formal typing, and will get
removed from our library in the future.