Highway Intersection Types