Add SeqType.
Add SetType.
Move non-first-class abstractions under support/
Factorize common code through a CollectionType helper module.
Factorize iteration strategy through a UpHandler helper.