Pretty printing of de Bruijn terms in named form