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

Relax type signature for mapKeysMonotonic.
A few substitutions with equivalent expressions.