Use pairwise TypeCombinator::intersect folding for conditional expression holders to avoid exponential union distribution

Use pairwise TypeCombinator::intersect folding for conditional expression holders to avoid exponential union distribution #1512