More improvements
ProductGroup, ProductMonoid, etc.
New groups and monoids: NTimes, NPlus, ZTimes, etc.