Implement the type(checke)r
Add test for correct return type
Merge pull request #96 from jspam/035-typer

Basic implementation of the type(checke)r
Add tests for namer
Implement SyntaxTreeVisitor
Implement Namer
fixup