KORE milestone 1

**please review**

 - unit-tested convertors from KORE to KIL and back
 - significant changes and simplifications to KORE data structures. They are smaller and more powerful now

I don't know that it actually should work like this. Consider the following case:

rule start => x, 5, 6, 7, .Exps
rule x, I:Ints => end

This should successfully rewrite start to end, but if you put it through the transformer you are describing here, I'm not sure that it will.