#lang plait
eval({lam x E},sc)      = <{lam x E}, sc>
eval({E1 E2},sc1)
         = eval(Ef,extend(x,eval(E2,sc1),sc2))
                           if eval(E1,sc1) =
                              <{lam x Ef}, sc2>
         = error!          otherwise