Fixed todo.
Made new project for the annotating type checker

Use the opportunity to clean up the remaining parts of the type checker as well.