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.