Data.Nat
data
Nat
addNat
subtractFromNat
multiplyNat