If Term is a term with numbered and named variables using the
reserved term’$VAR'(X), Copy is a copy of Term
where each’$VAR'(X) is consistently replaced by a fresh variable
and Bindings is a list X = Var, relating the X
terms with the variable it is mapped to.