//Macros UZero[]. USucc[prev]. Sub[a, b]. Neg[a]. Nat[]. Untyped[]. Zero[]. Succ[prev]. Add[a, b]. //Macros UZero[]: Zero[] | Untyped[] USucc[prev]: Succ[prev: prevaaaprev