Function expr_is_overlapping

fn expr_is_overlapping(
    expr: &TypeExpression,
    var: &TypeVarID,
    type_state: &TypeState,
) -> Overlap