Curry.ExtendedFlat.CurryArithmetics
data CurryInt
data CurryNat
trNat
trInt
toCurryInt
toIntExpression