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.
[det]varnumbers_names(+Term,
-Copy, -VariableNames)