ADDED: A module for pretty-printing dictionary terms.