feature/outer kore

**please review**

outer KORE sketch. will probably change as we start using it.
we haven't decided how to encode it in the label yet, and there are no such cases just yet. it will fail fast once we get there.
??? is a valid Scala singleton object with the type bottom.