feature/outer kore

**please review**

outer KORE sketch. will probably change as we start using it.
your parser should expect "downmoduled" definitions, i.e, outer KORE,  not inner KORE/KAST. This means we already have types for them, they are not just ASTs. If we have types for them, why not use them at compile time?