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.