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

Picking up from where @yilongli left it.
@dwightguth please review.
return context.startSymbolPgm