Add hard typing

[Joearrowsmith]

Being more explicit with the typing through forcing variables to be a type with typing.NewType would make the code more explicit and readable. But it is a large chunk of work for minimal reward.

[Joearrowsmith]

#22 closing as already an issue