evaluator

lamda evaluates correctly.
evaluate_apply should work now.