Initial work to make enabler type classes contravariant.
Deleted commented-out code that is no longer needed because of the contravariance.
Fixed names of implicit producers in Sortable companion object.
Made Sequencing contravariant.
Maded Sortable contravariant. Wrote a test for Collecting, but it
already passed so didn't change variance of Collecting.