Rebuilt the pretty printer for G to match the current use of De Bruijn indices
now rather than De Bruijn levels.