Bnf redesign

Now it handles EOF.
RHighlightingLexer can handle highlighting syntax.