Add Python 3 style type checking

[artitw]

There is currently no type checking, so we can follow practices from https://docs.python.org/3/library/typing.html