add and evaluator for call-by-value* lambda calculus