Function bind_instance_types 

pub fn bind_instance_types(
    root: ExprId,
    arena: &ExprArena,
    types: &mut TypeTable,
)

Propagates instance types from let rhs to bound identifiers. Use from the same lower / rebuild_expr boundary as crate::Expr::infer_types.