Mixed compositions

In #348, I found that, say, the product of `Traverse` and `Traverse1` turns out to be `Traverse1`.  So these are "mixed" composes and products for `Contravariant`, `Functor`, `Foldable[1]`, and `Traverse[1]`.  They have funny names I chose mainly to avoid the tarpit of overloading.