No particular reason.  Would you like me to add a method isFunctional to KLabelConstant?

Then, what would be the decision in case a KLabel can be both functional and unfunctional -- would we still always report error?  Perhaps that would be fine, too.