implement Natural numbers without primitive types
optimized implementation of Natural numbers (Peano numbers)