UNB/ CS/ David Bremner/ teaching/ cs4613/ lectures/ lecture6/ snippet-019.rkt 
#lang plait
(test (eval (Add (Num 1) (Num 2))) (Num 3))

(test (interp (Num 5)) (Num 5))