Generic Peano arithmetic

An attempt at defining Peano arithmetic for all numeric types