feature/outer kore

**please review**

outer KORE sketch. will probably change as we start using it.
I'll add them one by one as we encounter them. I didn't make this complete because I'm not sure I want to keep it like this. I may want to use the main pretty-printer (yet to be developed) for toString.