diff --git a/.idea/modules.xml b/.idea/modules.xml
index 2e9aa6aa..0dc06b56 100644
--- a/.idea/modules.xml
+++ b/.idea/modules.xml
@@ -11,7 +11,6 @@
       <module fileurl="file://$PROJECT_DIR$/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.handler/samplechecker.handler.iml" filepath="$PROJECT_DIR$/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.handler/samplechecker.handler.iml" />
       <module fileurl="file://$PROJECT_DIR$/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.handler.util/samplechecker.handler.util.iml" filepath="$PROJECT_DIR$/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.handler.util/samplechecker.handler.util.iml" />
       <module fileurl="file://$PROJECT_DIR$/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.runner/samplechecker.runner.iml" filepath="$PROJECT_DIR$/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.runner/samplechecker.runner.iml" />
-      <module fileurl="file://$PROJECT_DIR$/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/typesystem2.runtime.iml" filepath="$PROJECT_DIR$/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/typesystem2.runtime.iml" />
       <module fileurl="file://$PROJECT_DIR$/typechecking/solutions/jetbrains.mps.lang.typesystem.sample/typesystem2.sandbox.sample.iml" filepath="$PROJECT_DIR$/typechecking/solutions/jetbrains.mps.lang.typesystem.sample/typesystem2.sandbox.sample.iml" />
     </modules>
   </component>
diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.handler.util/samplechecker.handler.util.iml b/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.handler.util/samplechecker.handler.util.iml
index 165af620..2e6c930b 100644
--- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.handler.util/samplechecker.handler.util.iml
+++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.handler.util/samplechecker.handler.util.iml
@@ -8,7 +8,6 @@
     <orderEntry type="inheritedJdk" />
     <orderEntry type="sourceFolder" forTests="false" />
     <orderEntry type="module" module-name="Logic" />
-    <orderEntry type="module" module-name="typesystem2.runtime" />
     <orderEntry type="library" name="jchr" level="project" />
     <orderEntry type="module" module-name="Atom" />
     <orderEntry type="module" module-name="Logic.reactor" />
diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.runner/samplechecker.runner.iml b/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.runner/samplechecker.runner.iml
index 5151931f..32490b7d 100644
--- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.runner/samplechecker.runner.iml
+++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.runner/samplechecker.runner.iml
@@ -12,7 +12,6 @@
     <orderEntry type="library" name="jchr" level="project" />
     <orderEntry type="library" name="log4j" level="project" />
     <orderEntry type="module" module-name="samplechecker.handler" />
-    <orderEntry type="module" module-name="typesystem2.runtime" />
     <orderEntry type="module" module-name="Atom" />
     <orderEntry type="module" module-name="Logic.reactor" />
     <orderEntry type="module" module-name="Logic.jchr" />
diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/typesystem2.runtime.iml b/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/typesystem2.runtime.iml
deleted file mode 100644
index 47626aed..00000000
--- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/typesystem2.runtime.iml
+++ /dev/null
@@ -1,14 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<module type="JAVA_MODULE" version="4">
-  <component name="NewModuleRootManager" inherit-compiler-output="true">
-    <exclude-output />
-    <content url="file://$MODULE_DIR$">
-      <sourceFolder url="file://$MODULE_DIR$/source_gen" isTestSource="false" />
-    </content>
-    <orderEntry type="inheritedJdk" />
-    <orderEntry type="sourceFolder" forTests="false" />
-    <orderEntry type="module" module-name="Logic" />
-    <orderEntry type="library" name="guava-17.0" level="project" />
-    <orderEntry type="module" module-name="Atom" />
-  </component>
-</module>
\ No newline at end of file