fixed out of date tests in parser
refactoring, more features on evaluator like references. Discovered some possible type checking bugs.