Intersectionality Goes Analytical: Taming Combinatorial Explosion Through Type Abstraction