lambda abstraction & application implemented in Eval