remove cons attribute everywhere but frontend

@radumereuta please review
Short form here too...
syntax Stream ::= #buffer(K)
would be equivalent to:
syntax Stream ::= "#buffer" "(" K ")" [klabel('#buffer)]

Notice that the klabel is automatically defined as <quote> + <name>
I think the definition would look better if you do it this way.