Split Time vs. Date information contracts.
Basic strategy for undressing ADTs
TupleType#undress, a base strategy.
SeqType#undress and SetType#undress
StructType#undress
RelationType#undress