#lang plait
eval(...) = ... same as the AE rules ...
eval({let1 {x E1} E2}) = eval(E2[eval(E1)/x])
eval(ID) = error!