added Term.rename, Term.subterms, Term.properSubterms, Term.root, Rule.rename, Substitution.applyRule, Substitution.applyCtxt