Add type hints to the code generator and to the python bindings

[tmadlener]

Ideally even add typechecking at the end.