ADD: Term generators.

From each Term can be generated a new Term, that is exactly the same, except that the names of the variables inside are newly generated.