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 know we already have a better unparser then toString(). The output is not parsed so it doesn't matter if it is incorrect. It only matters that it contains most important information. I will leave it like this for now as there are many assertion files to fix otherwise. I will change to the unparser then if I notice any bug slipping in because of this.