Semantic Tokens provide syntax highlighting via the lsp; syntax highlighting is currently handled client side. This can also provide info for greyed-out code in untaken ifdef branches.

A basic first implementation can map slang token kinds to the lsp token kinds, which should definitely be more accurate than the current client-side implementations.

These are even more useful when they provide actual semantic info, for example highlighting parameters differently than variables, or instance variables differently from local variables.