#lang plait (define-type AE [Num (val : Number)] [Add (left : AE) (right : AE)] [Sub (left : AE) (right : AE)])