UNB/ CS/ David Bremner/ teaching/ cs4613/ lectures/ lecture5/ snippet-003.rkt 
#lang plait
(has-type subst :
          (LAE Symbol LAE -> LAE ))
(has-type eval : (LAE -> Number))