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.
ok then.  let's make a distinction between minimality where the asymptotic size of the code does not change, and minimality at the expense of non-liniar code explosion.