Changed the return type of the typechecker to a list of Messages instead of strings.
Removed unused methods and usings
Added type Void for ASTNodes which don't return a type, like a form or a question.