feature/outer kore

**please review**

outer KORE sketch. will probably change as we start using it.
We don't necessarily have to figure out the klabel right now as KORE syntax declarations must, by design, have a `klabel` attribute. But we do need to figure out how the "bar or buz" is saved in each term.