rmap and lmap
fixed up haddocks
Fixed Profunctor instance