Copy isomorphism code for Peano <-> Nat
Bump version