Refactor KLabelConstant

**please review**

removed its dependence on TermContext

+ some junk due to newlines -- we reeeally need to get this fixed