Implemented `mapKeysWith` and `mapKeysMonotonic`

\+ Context relaxed for `mapKeys`
\+ Improved test for `mapKeys`