added very simple evaluator, no simplifier yet