prepare ground for type constraint unions, intersections and complements