Initial specifications for lexer and parser.