UNB/ CS/ David Bremner/ teaching/ cs4613/ lectures/ lecture4/ snippet-012.rkt 
#lang plait
eval( {let1 {id LAE1} LAE2} ) =
        eval( subst(LAE2,id,LAE1) )