"A closed intersection type."
shared sealed interface IntersectionType<out Intersection=Anything> 
        satisfies Type<Intersection> {
    
    "The list of closed satisfied types of this intersection."
    shared formal List<Type<Anything>> satisfiedTypes;
}