feature/outer kore

**please review**

outer KORE sketch. will probably change as we start using it.
Configuration can have ensures for example. I think we should have a similar pattern on how we handle the three main types of sentences, and the only thing that is different, is the wrapper. We did special cases in the beginning, and we ended up generalizing concepts, and implementation to simplify it...