Function add_intersection 

pub fn add_intersection(
    arena: *mut TypeArena,
    builtin_types: *mut BuiltinTypes,
    list: &[TypeId],
) -> TypeId