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.
it's not entirely clear to me how you intend to use this to capture more complex priority declarations like * / > + -

And you're still missing associativity declarations