added the the basic lemmas marked as private in Data.Nat.Properties to Data.Nat.Properties.Simple
adde a comment pointing to Data.Nat.Properties.Simple to Data.Nat.Properties
removed previously private lemmas from Data.Nat.Properties, now imported from Data.Nat.Properties.Simple
	modified:   src/Data/Nat/Properties.agda
Merge pull request #5 from jmchapman/master

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