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

Just to make it absolutely clear: what KLabel a particular cell production takes should be completely orthogonal to KORE or to any kompilation step.  It should only be a particular decision that the frontend takes in order to desugar the concrete syntax (of the semantics) to KORE.

Since this KIL to KORE translator is only temporary, I would say that it simply does not matter what name you pick for the KLabels corresponding to cells, as far as everything works.