Added rest of monoid sample tests
Documented laws tested in monoid test