Add InvariantFunctor instance for Shrink.
Cleanup & minor clarifications in ContravariantCoyonedaUsage.
Add Order antisymmetry law.