UNB/ CS/ David Bremner/ teaching/ cs4613/ lectures/ lecture6/ snippet-016.rkt 
#lang plait
{lam y E}[v/x]      = {lam y E[v/x]}
{lam x E}[v/x]      = {lam x E}