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.
remove unused class
refactoring -- remove unused stuff, replace manual indexing with for-in, fix a javadoc
inline constants. most of them were left unused after moving to JCommander. for uniformity I removed them all.
pass KTestOptions instead of settings individually
Extracted escapeSort for String, Sort and NonTerminal. Fixed some more of Dwight's comments.
This should be commented.
fixed a bug in SymbolicUnifier
fixed more bugs...
fixed even more bugs
changed the config file of simple-typed-static to test the fast rewriter instead of the normal ground rewriter
removed the annoying jcommander.internal.Lists
fixed copyright
clean up MaudeHelper

Make the never-modified basicSorts and constants sets private
to MaudeHelper and expose only isBasicSort and isConstant methods.

Move the mutable separators collection into MaudeFilter, which
is the only place it is used.