Syntax highlight not perfect if symbol name starts with number

[LuminarLight]

I hope I am using correct terminology here. But basically the issue is this:

The 4 should be colored the same color as the characters right after it.
GOAL supports starting symbol name with number, and they do actually have some symbol names starting with numbers in 3/X. (I have even seen one that has space in the middle 💀)

I have absolutely no idea how these syntax highlight things work, but hopefully it can be fixed.

[xTVaser]

Symbols cannot have spaces, that would not be valid lisp, so I think you are mistaken on that one.

However this will be addressed once the syntax highlighting is informed by the AST via the LSP. I'm not doing any modifications to the current textmate grammar as it's a nightmare to work with.