Handle type constructors when the tuple of (mutually recursive) types
is constructed.
Non-type-preserving visits: tuples.