Type translation from AST-nodes to internal type system.
Merge remote-tracking branch 'origin/master' into typeanalysis
Merge remote-tracking branch 'origin/master' into typeanalysis
Moved pretty printer to parent package
Moved pretty printer to parent package Vol. 2
Enforced consistent naming of name analysis references