Got rid of existentials in Aggregating.
Got rid of existentials in Collecting, Containing, KeyMapping, Sequencing,
Sortable, and ValueMapping too.
Got rid of existentials in Map/Seq/Set equality constraints, and cleaned
up the type param names in the Map one.