A few minor fixes of errors introduced during cleanup.
Added monoid implementation for string, incl tests.