bugfixes in Transform;
Rewriting.{TRS,FormRW} now take De Bruijn depth into account