chickadee » tree-rewrite » substitute-vars-open

Finds all the vars in term and substitutes them with values given in the environment. Leaves free variables as they are.