Minor doc fixes.
Start a ContravariantCoyoneda example.