Kast in k

I created this diff for use in managing the discussion on the KORE syntax. We may choose to close it rather than merge it, I just need a place to put comments.
I don't see us using single quotes for anything here. Might we use single quotes to delimit KLabel in order to avoid the ambiguity with the K bracket?