Static Type Analysis Using mypy-lang

[lumip]

Using mypy-lang static type analysis tool to analyse the codebase will reveal any violations of assumed types.
Analyse the code using mypy-lang and fix occuring type violations.

[lumip]

Problems with circular includes.
Either merge modules into one or try something like include guards.