feature/outer kore

**please review**

outer KORE sketch. will probably change as we start using it.
afaik, it should only have attributes. in any case, I'll leave it for now. the *ToStrings are only meant to help with debugging (at least for now). they are not the final pretty-printer.