generalised parser, added contact graph, global symbol table deprecated
WIP: Refactor combinator classes into abstract syntax classes suitable for use by parsers.  Will probably not pass test suite.