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 didn't indent to change it. It got piggybacked by mistake. In any case, I really don't like that files are not formatted using a common auto-formatter. I tiresome to make sure you're only auto formatting what you've changed. It's time wasted for the sake of having nicer code formatting once in every 100 lines when the auto-formatter doesn't produce nice enough code.

In the meantime, I will revert the file to its original.