UNB/ CS/ David Bremner/ teaching/ cs4613/ lectures/ lecture2/ snippet-022.rkt 
#lang plait
ae: NUMBER
       | ( ae + ae )
       | ( ae - ae )