removed KSort; moved MetaK.isKSort/isComputationSort to Sort2
moved MetaK.isDataSort/isBuiltinSort to Sort2