Intersection Types Fit Well with Resource Control