Generic Numeric Literals and Compile time Peano arithmetic

Generic Numeric Literals and Compile time Peano arithmetic