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.
priorities form a partial order, and we can define any partial order one pair at a time.

@radumereuta How about assoc declarations, what would a good, minimal KORE syntax for them be?