Use Python 3 Type hinting and mypy static type checking

[dsteinberg]

[dsteinberg]

This makes the doco REALLY hard to read, it may not be worth the effort...