Fixed Monoid constructor and sped up tests
Fixed Monoid constructor and sped up tests