Types That Count: Journey across Qualitative and Quantitative Intersection Types