Function intersect_type 

pub fn intersect_type(
    ir: &mut Ir,
    ctx: &TypeContext,
    a: InstId,
    b: InstId,
) -> InstId

Computes the intersection (greatest lower bound) of two type expressions.