Major refactoring of the API.

* Renamed Yoneda.Contravariant -> Yoneda.Reduction.
* Described Yoneda f as co-Yoneda.
* Started more haddocks