K Framework/Namespaces