Static type checking for debugging

[dario-coscia]

Is your feature request related to a problem? Please describe.
In many PINA python scripts there is the check_consistency function, which checks all types. While nice, for debugging it would be nice to have a static type checker