Add Monoid instance for Set k.
Uncomment mapMonotonic from Set and add tests.

Relax type signature for mapKeysMonotonic.
A few substitutions with equivalent expressions.
Add Monoid instance for CritBit k v.
Merge pull request #76 from archblob/Set_Monoid

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