Cleaned up typecheckvisitor, added comments. quickfixed some problems with missing tokenvalue in nodes in the error constructors. WIll have to solve properly later, by somehow getting hold of a terminal node (with token). Currently 13/17 passing in compile. Almost all tests will have to be rewritten/fixed, though