#lang plait
eval({lam x E},env)    = <{lam x E}, env>
eval({E1 E2},env1)  =
     if eval(E1,env1) = <{lam x Ef}, env2> then
            eval(Ef,extend(x,eval(E2,env1),env2))
     else 
            error!