Moved typechecker function from TestEvaluator to parser
merged