Added a test for monoid laws
Added subset queries 'isSubsetOf' and 'isProperSubsetOf'