UNB/ CS/ David Bremner/ teaching/ cs4613/ lectures/ lecture2/ snippet-023.rkt
#lang plait
ae: NUMBER
       | { ae + ae }
       | { ae - ae }