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.
Yes, things would be cleaner if we allow a priority list instead of just a pair. Shall we make this change now and settle it for the future?