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.
I still think it's better to have one implementation class for both this and the following case. An empty KList should be, in the implementation, simple a KList without any elements.