feature/outer kore

**please review**

outer KORE sketch. will probably change as we start using it.
also missing "syntax Sort ::="