Updated Group & Monoid
Added a monoidLaws test.