moved isPredicateLabel from MetaK to KLabelConstant

Dwight, is this what you proposed?