https://123dok.org/document/oz1wg7vy-intersection-types-and-related-systems-itrs.html