added the the basic lemmas marked as private in Data.Nat.Properties to Data.Nat.Simple