Now all it needs is a parser in 'examples/' that parses EBNF grammars and emits a parser in terms of these combinators.