Implement beginnings of evaluator