For Codensity: Added notations to fmap and pure implementations. Refined return to synonym for pure.
For Codensity: Added notations to fmap and pure implementations. Refined return to synonym for pure.

grumply/mop,grumply/mop