Fixing an issue with Tokens creating ambiguities with variables.
Bypassing the check from TokenSortCollector to allow the fix to work.
Made the fix a filter of it's own for better clarity. Added regression test.
Fixing the config.xml files for ktest.
Moving the CorrectConstantsTransformer filter later so it fixes kool.
Forgot to call CorrectConstantsTransformer in a few places. Should fix most of the tests.
fixed token sort detection
Merge pull request #289 from kframework/tokenfix

Fixing an issue with Tokens creating ambiguities with variables.