Literal syntax highlighting bleeds into token definitions.

[kristofferrose]

The current "literal syntax" pattern is

"\\(⟦\\|⟩\\)[^⟦⟧⟨⟩]*\\(⟨\\|⟧\\)"

which unfortunately also bleeds into token definitions like

 token ID   | ⟨LetterEtc⟩+ (⟨LetterEtc⟩ | ⟨Digit⟩)* ;

(the first + is interpreted as syntax). The solution would be something that restricts the ⟩...⟨ variant to only happen between the ⟦...⟨ and ⟩...⟧ variants.