Extended the prettyprint facility of the type checker with non-terminal,
terminal and regular symbols.
Added computation of the 'nonterminalFields' part of the configuration
returned by the type checker.

- certain functions, e.g., equivalent, etc., still need to be defined
for the non-terminal symbols.