Intersection type system