Implement static typing everywhere #21
Description
Only parts of the application current use static types. While it makes no tangible difference on the function of the application, it can drastically improve the development experience as IDEs like PyCharm and VSCode use these types for catching possible errors early!
Static typing also reduces/removes the need to state the types within a doc comment.
mypy is already included as a developer dependency, but the repo needs a settings file.