add lambda term evaluator