evaluator now compiles, need to write main