separate into Data.PeanoNat
rename MNat -> PNat, M.. -> P.. , My.. -> PS..