Function lower_bound 

pub fn lower_bound(
    ir: &mut Ir,
    ctx: &TypeContext,
    type_exprs: &[InstId],
) -> InstId

Computes the lower bound (most general common subtype) of a set of type expressions.

Repeatedly intersects types. Returns EmptyType if intersection is empty.