Remove the KSorts file that still used the old String representation for Sort.
Part two.
Part three.
Part four. I think I found the last bugs.
Found the NullPointerException.
Part five. I think I found the last bug.
Part of the changes.
Extracted escapeSort for String, Sort and NonTerminal. Fixed some more of Dwight's comments.
This should be commented.
Merge pull request #922 from kframework/removeKSorts

Remove the KSorts file that still used the old String representation for Sort