Get classes working
Rewrite test cases. Remove all void from typechecker and refactor.
Refactor class code