#lang plait
eval(N,sc)          = N
eval({+ E1 E2},sc)  = eval(E1,sc) + eval(E2,sc)
; ...
eval(x,sc)                = lookup(x,sc)
eval({let1 {x E1} E2},sc) = eval(E2,extend(x,eval(E1,sc),sc))