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'm not sure that's the point. The point Radu is making is that changing lines in a diff for purely stylistic reasons is something that can cause unnecessary problems, and you should get out of the habit of it.