Intersection and Union Types