removed previously private lemmas from Data.Nat.Properties, now imported from Data.Nat.Properties.Simple
	modified:   src/Data/Nat/Properties.agda