Function substitute_type_expr 

pub fn substitute_type_expr(
    ty: &TypeExpr,
    bindings: &BTreeMap<String, TypeExpr>,
) -> TypeExpr

Substitute generic bindings with the same open-row folding used by type inference. Schema compilation calls this instead of carrying a second type expression rewriter.