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.
this needs support for unicode. I suggest you take a look at the current syntax for the String builtin in K.