remove cons attribute everywhere but frontend

@radumereuta please review
I suggest you use the short form:
syntax KLabel ::= String2KLabel(String) [function]