Add monoid instance for Set. Uncomment and add test for mapMonotonic.

Should the merge related functions be moved into Core.hs ?