Add type checking at major parts of the code

[sgpjesus]

Check typeguard package, to see if it is a good option for most of the code.