This is used to give tokens their sorts, correct? Because if that's all this is for, then tokens that aren't turned into terms should have sort null, not sort K.