UNB/ CS/ David Bremner/ teaching/ cs4613/ lectures/ lecture7/ snippet-009.rkt 
#lang plait
{+ x y}, [y=3, x=1]
; look ma, no substitution