Traffic Intersection Types