Add separate non-terminal for constructor names.
Add rules for the grammar of datatype declarations.
WIP: turning parse-trees into datatype declaration AST values.
Trying to keep grammar.txt in sync with changes in the HOL sources.