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

Autoformatting again. Please revert. Stuff like this since it will only make it harder to look into the history, and make merges unnecessarily hard.