Integrate a TypeChecker for the project

[krux02]

A Type checker also helps to improve productivity as many errors can be avoided before starting the project.
For project refactorings, it is very helpful to have a typechecker that ensures some type safety.