Text this: The Algebraic Intersection Type Unification Problem