better printing of terms;
bugfix in De Bruijn handling