Use token form of varsym and consym for highlighting.