Intersection Types and Related Systems (ITRS)