Changed the definition of TrieForm not to use TrieShrink and to use LayeredGraphPlot.