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.
Do they create the same resulting object? If so, I'm okay with the synonym. I just don't want there to be a difference between an EmptyKList and an empty KList