UNB/ CS/ David Bremner/ teaching/ cs4613/ lectures/ lecture5/ snippet-018.rkt 
#lang plait
{let1 {x E1} E2}[E3/x]
   = {let1 {x E1[E3/x]} E2}