feature/outer kore

**please review**

outer KORE sketch. will probably change as we start using it.
check the K documentation. `require` is similar to a Java `import`, i.e., it tells which files contain modules relevant to this definition. `import` is akin to Java `extends`, i.e., it merges another module into this one.