(datatype Math
  (Num i64)
  (Add Math Math))

(rewrite (Add (Num a) (Num b))
         (Num (+ a b)))

(let expr1 (Add (Num 2) (Num 3)))
(run 10)
(check (= expr1 (Num 5)))