GrammarVisitor added.
Simple verification framework added for grammars.
A simple validation for undefined nonterminals added.