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

It's bridging Scala singletons. Don't worry about it. From Java, you only see `Hole()`, which gives you the klabel for a `HOLE`.