Refactor KLabelConstant

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