data Term =
    Nat Integer
    | Abs String Term   -- EAbs Abstraction
    | Inv Term Term     -- EApp Invocation (a.k.a. Application) of a function
    | Var String        -- EVar a variable
    | Add