Added some Monoid instances and tests.