TypeFactory#tuple, #relation, #seq_type