Cleanup & minor clarifications in ContravariantCoyonedaUsage.