Fixed Monoid constructor and sped up tests