De Bruijn manipulations in Formulas and ScopedTerms
progress in formula renaming, with a cleaner interface in Skolem and some more code in Cnf