ParserDescription Models and operators for defining parsers, plus a compiler for translating them into parsers.