I found a bug. Here I'm testing to see what keywords do I have to reject from the Id category.
Id was moved from K into SDF a long time ago, and I forgot to relink the sorts.

Now, this is also limitation of how we dealt with SDF, because it is hard coded. When I move everything into K, I could test every single token definition against every terminal and optimize the work of the parser. Right now I'm generating all possible combinations of "terminal" -> LexicalSort {reject}.