The ``Relevance'' of Intersection and Union Types