diff --git a/content/http..mathhub.info/FrameIT/frameworld/$Angle$Sum.omdoc.xz b/content/http..mathhub.info/FrameIT/frameworld/$Angle$Sum.omdoc.xz
index 77e82dbba5a503d463ebeee6fa74265be208222e..2320a030cc64e5439b7b900f1b1bffbe0f395893 100644
Binary files a/content/http..mathhub.info/FrameIT/frameworld/$Angle$Sum.omdoc.xz and b/content/http..mathhub.info/FrameIT/frameworld/$Angle$Sum.omdoc.xz differ
diff --git a/content/http..mathhub.info/FrameIT/frameworld/$Default$Situation$Space.omdoc.xz b/content/http..mathhub.info/FrameIT/frameworld/$Default$Situation$Space.omdoc.xz
index bd614b70d5e5f6096c4d925332ff03922e454b9e..328720d4ae26eed7629d584ae0af17a9865844a7 100644
Binary files a/content/http..mathhub.info/FrameIT/frameworld/$Default$Situation$Space.omdoc.xz and b/content/http..mathhub.info/FrameIT/frameworld/$Default$Situation$Space.omdoc.xz differ
diff --git a/content/http..mathhub.info/FrameIT/frameworld/$Frameworld$Meta.omdoc.xz b/content/http..mathhub.info/FrameIT/frameworld/$Frameworld$Meta.omdoc.xz
index 780ac9c58574f888ed2ec00d739fb6c4ff1569da..cb08c3ba9c512d0bde8aa3017733a4d0a6955240 100644
Binary files a/content/http..mathhub.info/FrameIT/frameworld/$Frameworld$Meta.omdoc.xz and b/content/http..mathhub.info/FrameIT/frameworld/$Frameworld$Meta.omdoc.xz differ
diff --git a/content/http..mathhub.info/FrameIT/frameworld/$Meta$Annotations.omdoc.xz b/content/http..mathhub.info/FrameIT/frameworld/$Meta$Annotations.omdoc.xz
index e11b9e79a43c859c1da4ffeaa6baab5ffa7501db..a1da71e1cd4e983558e4dd0fd37ca03ba3c043cb 100644
Binary files a/content/http..mathhub.info/FrameIT/frameworld/$Meta$Annotations.omdoc.xz and b/content/http..mathhub.info/FrameIT/frameworld/$Meta$Annotations.omdoc.xz differ
diff --git a/content/http..mathhub.info/FrameIT/frameworld/$Midpoint.omdoc.xz b/content/http..mathhub.info/FrameIT/frameworld/$Midpoint.omdoc.xz
index f03c131da820789cf2e3864e0a489ba9804b9cd6..10aadaf2a36f525cd235e964d8ebadacd1dfeb7e 100644
Binary files a/content/http..mathhub.info/FrameIT/frameworld/$Midpoint.omdoc.xz and b/content/http..mathhub.info/FrameIT/frameworld/$Midpoint.omdoc.xz differ
diff --git a/content/http..mathhub.info/FrameIT/frameworld/$Opposite$Len.omdoc.xz b/content/http..mathhub.info/FrameIT/frameworld/$Opposite$Len.omdoc.xz
index ac60e586d19170c0a559ed5791ab9fa625558ad5..64e3bf31b209e8bee3c3aff372ec668f6e46d6f6 100644
Binary files a/content/http..mathhub.info/FrameIT/frameworld/$Opposite$Len.omdoc.xz and b/content/http..mathhub.info/FrameIT/frameworld/$Opposite$Len.omdoc.xz differ
diff --git a/content/http..mathhub.info/FrameIT/frameworld/$Supplementary$Angles.omdoc.xz b/content/http..mathhub.info/FrameIT/frameworld/$Supplementary$Angles.omdoc.xz
index aa5f1057cce4216a00b66e7ed310f44bbbc0c0a8..04cb08e7f6a4ecea9b3cbdcb15ac3718d625b019 100644
Binary files a/content/http..mathhub.info/FrameIT/frameworld/$Supplementary$Angles.omdoc.xz and b/content/http..mathhub.info/FrameIT/frameworld/$Supplementary$Angles.omdoc.xz differ
diff --git a/content/http..mathhub.info/FrameIT/frameworld/$Triangle$Problem.omdoc.xz b/content/http..mathhub.info/FrameIT/frameworld/$Triangle$Problem.omdoc.xz
index 114223d374263e15ccd3d27b4e27aab25ebe3a58..5db37a7de24c8f4345688c7907c8070275eff888 100644
Binary files a/content/http..mathhub.info/FrameIT/frameworld/$Triangle$Problem.omdoc.xz and b/content/http..mathhub.info/FrameIT/frameworld/$Triangle$Problem.omdoc.xz differ
diff --git a/content/http..mathhub.info/FrameIT/frameworld/$Triangle$Problem_$Angle$At$A.omdoc.xz b/content/http..mathhub.info/FrameIT/frameworld/$Triangle$Problem_$Angle$At$A.omdoc.xz
index a605cb2e6b72978cedcb8f648af3df9518f41baf..d1917f1f9fcc5e33e192b1c2503397b521c71c74 100644
Binary files a/content/http..mathhub.info/FrameIT/frameworld/$Triangle$Problem_$Angle$At$A.omdoc.xz and b/content/http..mathhub.info/FrameIT/frameworld/$Triangle$Problem_$Angle$At$A.omdoc.xz differ
diff --git a/content/http..mathhub.info/FrameIT/frameworld/$Triangle$Problem_$Angle$At$B.omdoc.xz b/content/http..mathhub.info/FrameIT/frameworld/$Triangle$Problem_$Angle$At$B.omdoc.xz
index 8755d5b1cc49f37261978b2aa5b15cbfa792957f..dc39d7b70440bac5dbcd779c56dad714b7e75851 100644
Binary files a/content/http..mathhub.info/FrameIT/frameworld/$Triangle$Problem_$Angle$At$B.omdoc.xz and b/content/http..mathhub.info/FrameIT/frameworld/$Triangle$Problem_$Angle$At$B.omdoc.xz differ
diff --git a/content/http..mathhub.info/FrameIT/frameworld/$Triangle$Problem_$Right$Angle$At$C.omdoc.xz b/content/http..mathhub.info/FrameIT/frameworld/$Triangle$Problem_$Right$Angle$At$C.omdoc.xz
index 380f0d8fceafd6af434eb64375f234b0d2c57ec1..75610bf6df2298876667f70f2b5fcc1f11f70a89 100644
Binary files a/content/http..mathhub.info/FrameIT/frameworld/$Triangle$Problem_$Right$Angle$At$C.omdoc.xz and b/content/http..mathhub.info/FrameIT/frameworld/$Triangle$Problem_$Right$Angle$At$C.omdoc.xz differ
diff --git a/content/http..mathhub.info/FrameIT/frameworld/integrationtests/$Close$Gaps$Test_$Codomain.omdoc.xz b/content/http..mathhub.info/FrameIT/frameworld/integrationtests/$Close$Gaps$Test_$Codomain.omdoc.xz
index 85e0225877e29e91348ba044384c93bddf54fcb4..4e43126a28f6b8a774e28318bb46ec7ad4e7f4dd 100644
Binary files a/content/http..mathhub.info/FrameIT/frameworld/integrationtests/$Close$Gaps$Test_$Codomain.omdoc.xz and b/content/http..mathhub.info/FrameIT/frameworld/integrationtests/$Close$Gaps$Test_$Codomain.omdoc.xz differ
diff --git a/content/http..mathhub.info/FrameIT/frameworld/integrationtests/$Close$Gaps$Test_$Terms$Notepad.omdoc.xz b/content/http..mathhub.info/FrameIT/frameworld/integrationtests/$Close$Gaps$Test_$Terms$Notepad.omdoc.xz
index 25f120306c59e0c15ba0449253cc425e892c85bb..bf799aa2f3e8a517edb06ac3a9cd6f86a60c13af 100644
Binary files a/content/http..mathhub.info/FrameIT/frameworld/integrationtests/$Close$Gaps$Test_$Terms$Notepad.omdoc.xz and b/content/http..mathhub.info/FrameIT/frameworld/integrationtests/$Close$Gaps$Test_$Terms$Notepad.omdoc.xz differ
diff --git a/content/http..mathhub.info/FrameIT/frameworld/integrationtests/$Expected$Type$Test_$Codomain.omdoc.xz b/content/http..mathhub.info/FrameIT/frameworld/integrationtests/$Expected$Type$Test_$Codomain.omdoc.xz
index 1062d71ff4180da0d295feefa91654e492c0354c..af556ffde48c05d638f7792af047a03624a81c52 100644
Binary files a/content/http..mathhub.info/FrameIT/frameworld/integrationtests/$Expected$Type$Test_$Codomain.omdoc.xz and b/content/http..mathhub.info/FrameIT/frameworld/integrationtests/$Expected$Type$Test_$Codomain.omdoc.xz differ
diff --git a/content/http..mathhub.info/FrameIT/frameworld/integrationtests/$Expected$Type$Test_$Domain.omdoc.xz b/content/http..mathhub.info/FrameIT/frameworld/integrationtests/$Expected$Type$Test_$Domain.omdoc.xz
index 31ac251318b6324d8b938908aafebcd8a7008f48..8be229f0aad56ade0a9f3c7bd5da297525f586bf 100644
Binary files a/content/http..mathhub.info/FrameIT/frameworld/integrationtests/$Expected$Type$Test_$Domain.omdoc.xz and b/content/http..mathhub.info/FrameIT/frameworld/integrationtests/$Expected$Type$Test_$Domain.omdoc.xz differ
diff --git a/content/http..mathhub.info/FrameIT/frameworld/integrationtests/$My$Scroll.omdoc.xz b/content/http..mathhub.info/FrameIT/frameworld/integrationtests/$My$Scroll.omdoc.xz
index 3e025021bde4bd69c887c3538693b2311fe2721b..091ca60bee6c8c92b5eaa3a9585d101db4d25112 100644
Binary files a/content/http..mathhub.info/FrameIT/frameworld/integrationtests/$My$Scroll.omdoc.xz and b/content/http..mathhub.info/FrameIT/frameworld/integrationtests/$My$Scroll.omdoc.xz differ
diff --git a/content/http..mathhub.info/FrameIT/frameworld/integrationtests/$Pushed$Out$Situation$Theory.omdoc.xz b/content/http..mathhub.info/FrameIT/frameworld/integrationtests/$Pushed$Out$Situation$Theory.omdoc.xz
index 449e4c66f594d1a53d10d155eb5c4e2c1c98f322..bac13076444f987e18657d9dc08c41e7f0011865 100644
Binary files a/content/http..mathhub.info/FrameIT/frameworld/integrationtests/$Pushed$Out$Situation$Theory.omdoc.xz and b/content/http..mathhub.info/FrameIT/frameworld/integrationtests/$Pushed$Out$Situation$Theory.omdoc.xz differ
diff --git a/content/http..mathhub.info/FrameIT/frameworld/integrationtests/$Sample$Situation$Space.omdoc.xz b/content/http..mathhub.info/FrameIT/frameworld/integrationtests/$Sample$Situation$Space.omdoc.xz
index 7153d5370280c5cd6877f518fdbcb446fbbdeda9..cf8439ffd70c606df68b7fa050633de785b3b15a 100644
Binary files a/content/http..mathhub.info/FrameIT/frameworld/integrationtests/$Sample$Situation$Space.omdoc.xz and b/content/http..mathhub.info/FrameIT/frameworld/integrationtests/$Sample$Situation$Space.omdoc.xz differ
diff --git a/content/http..mathhub.info/FrameIT/frameworld/integrationtests/$Situation$Space.omdoc.xz b/content/http..mathhub.info/FrameIT/frameworld/integrationtests/$Situation$Space.omdoc.xz
index 45f5db64c7169e4baba326e4a8196f9122fa2cc6..4c0358ba63d39bea1bd183ceca4c925f0f898afc 100644
Binary files a/content/http..mathhub.info/FrameIT/frameworld/integrationtests/$Situation$Space.omdoc.xz and b/content/http..mathhub.info/FrameIT/frameworld/integrationtests/$Situation$Space.omdoc.xz differ
diff --git a/content/http..mathhub.info/FrameIT/frameworld/integrationtests/$Theory$Parameter$Bug.omdoc.xz b/content/http..mathhub.info/FrameIT/frameworld/integrationtests/$Theory$Parameter$Bug.omdoc.xz
index 23c619eb61e03f9356dbd3a76fe352846a494250..5ec0c0b94284ec1a9c86268ab5ec644fbf34c70f 100644
Binary files a/content/http..mathhub.info/FrameIT/frameworld/integrationtests/$Theory$Parameter$Bug.omdoc.xz and b/content/http..mathhub.info/FrameIT/frameworld/integrationtests/$Theory$Parameter$Bug.omdoc.xz differ
diff --git a/content/http..mathhub.info/LoViVo/gearbox/cogwheels.omdoc.xz b/content/http..mathhub.info/LoViVo/gearbox/cogwheels.omdoc.xz
index 93ddda1944e2f6afcae8e653a62b2c687723da8f..0fc71ab2fa5d0a4535dd59902705de82a93127c4 100644
Binary files a/content/http..mathhub.info/LoViVo/gearbox/cogwheels.omdoc.xz and b/content/http..mathhub.info/LoViVo/gearbox/cogwheels.omdoc.xz differ
diff --git a/content/http..mathhub.info/LoViVo/gearbox/gb2.omdoc.xz b/content/http..mathhub.info/LoViVo/gearbox/gb2.omdoc.xz
index a686b8facfa4948f1c28eac573c7836ca29c2b3e..ba50fbe864b73e22310aaba1f00187681a924cb5 100644
Binary files a/content/http..mathhub.info/LoViVo/gearbox/gb2.omdoc.xz and b/content/http..mathhub.info/LoViVo/gearbox/gb2.omdoc.xz differ
diff --git a/content/http..mathhub.info/LoViVo/gearbox/gb3.omdoc.xz b/content/http..mathhub.info/LoViVo/gearbox/gb3.omdoc.xz
index 9f6621b6848a92db866ddfdb24072961f6300f58..12bf50ba08d91874fd0284da5f526dda082809b4 100644
Binary files a/content/http..mathhub.info/LoViVo/gearbox/gb3.omdoc.xz and b/content/http..mathhub.info/LoViVo/gearbox/gb3.omdoc.xz differ
diff --git a/content/http..mathhub.info/LoViVo/gearbox/gearbox.omdoc.xz b/content/http..mathhub.info/LoViVo/gearbox/gearbox.omdoc.xz
index 0a3566337efee4a671bb321e8a92e88c1d7f8be2..fa23cd6dec26d5f8ea29c1c0e601482e55e6525f 100644
Binary files a/content/http..mathhub.info/LoViVo/gearbox/gearbox.omdoc.xz and b/content/http..mathhub.info/LoViVo/gearbox/gearbox.omdoc.xz differ
diff --git a/content/http..mathhub.info/LoViVo/gearbox/temp.omdoc.xz b/content/http..mathhub.info/LoViVo/gearbox/temp.omdoc.xz
index dffe9e33af015a62f3dd5d898b5659d57f0c560c..a02604512702338913af8d6b93a2dfb590faaa5d 100644
Binary files a/content/http..mathhub.info/LoViVo/gearbox/temp.omdoc.xz and b/content/http..mathhub.info/LoViVo/gearbox/temp.omdoc.xz differ
diff --git a/errors/mmt-omdoc/DefaultSituationSpace.mmt.err b/errors/mmt-omdoc/DefaultSituationSpace.mmt.err
index e69de29bb2d1d6434b8b29ae775ad8c2e48c5391..a003a310ddaac2945e140ceaaaa6d7e3db90d6b4 100644
--- a/errors/mmt-omdoc/DefaultSituationSpace.mmt.err
+++ b/errors/mmt-omdoc/DefaultSituationSpace.mmt.err
@@ -0,0 +1,2 @@
+<errors>
+</errors>
diff --git a/errors/mmt-omdoc/IntegrationTests/SituationTheory.mmt.err b/errors/mmt-omdoc/IntegrationTests/SituationTheory.mmt.err
index e69de29bb2d1d6434b8b29ae775ad8c2e48c5391..a003a310ddaac2945e140ceaaaa6d7e3db90d6b4 100644
--- a/errors/mmt-omdoc/IntegrationTests/SituationTheory.mmt.err
+++ b/errors/mmt-omdoc/IntegrationTests/SituationTheory.mmt.err
@@ -0,0 +1,2 @@
+<errors>
+</errors>
diff --git a/errors/mmt-omdoc/Library/gearbox.mmt.err b/errors/mmt-omdoc/Library/gearbox.mmt.err
index b5b3bba9beaffe7d01873380c424c748a1c98cad..0d566ceee383b6360c3f771b8cf4098de62ac57b 100644
--- a/errors/mmt-omdoc/Library/gearbox.mmt.err
+++ b/errors/mmt-omdoc/Library/gearbox.mmt.err
@@ -1,10 +1,15 @@
 <errors>
-<error type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$2" shortMsg="invalid unit: using default value to solve ⊦∃![m]m^2 ≐((πl p2)-πl p1)^2 -((πr p2)-πr p1)^2 " level="1">
+<error type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid unit: http://mathhub.info/LoViVo/gearbox?temp?dist?definition: Judgment  |- [p1,p2] : (ℝ×ℝ)⟶(ℝ×ℝ)⟶ℝ" level="2">
   <stacktrace>
-    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$12(RuleBasedChecker.scala:88)</element>
-    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$12$adapted(RuleBasedChecker.scala:85)</element>
+    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$17(RuleBasedChecker.scala:99)</element>
+    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$17$adapted(RuleBasedChecker.scala:98)</element>
     <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
-    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.apply(RuleBasedChecker.scala:85)</element>
+    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$15(RuleBasedChecker.scala:98)</element>
+    <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
+    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
+    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
+    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.logGroup(RuleBasedChecker.scala:17)</element>
+    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.apply(RuleBasedChecker.scala:95)</element>
     <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15(MMTStructureChecker.scala:374)</element>
     <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15$adapted(MMTStructureChecker.scala:350)</element>
     <element>scala.Option.foreach(Option.scala:407)</element>
@@ -34,85 +39,7 @@
     <element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:159)</element>
     <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTask(BuildTarget.scala:564)</element>
     <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTaskIfNeeded(BuildTarget.scala:470)</element>
-    <element>info.kwarc.mmt.api.archives.TrivialBuildManager.$anonfun$addTasks$1(BuildQueue.scala:123)</element>
-    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
-    <element>info.kwarc.mmt.api.archives.TrivialBuildManager.addTasks(BuildQueue.scala:122)</element>
-    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:389)</element>
-    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:383)</element>
-    <element>info.kwarc.mmt.api.archives.BuildTarget.apply(BuildTarget.scala:227)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1(ArchiveAction.scala:119)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1$adapted(ArchiveAction.scala:96)</element>
-    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive(ArchiveAction.scala:96)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive$(ArchiveAction.scala:95)</element>
-    <element>info.kwarc.mmt.api.frontend.Controller.buildArchive(Controller.scala:74)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveBuild.apply(ArchiveAction.scala:13)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle(ActionHandling.scala:48)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle$(ActionHandling.scala:37)</element>
-    <element>info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:74)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine(ActionHandling.scala:33)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine$(ActionHandling.scala:31)</element>
-    <element>info.kwarc.mmt.api.frontend.Controller.handleLine(Controller.scala:74)</element>
-    <element>info.kwarc.mmt.intellij.MMTPluginInterface.handleLine(MMTPlugin.scala:117)</element>
-    <element>java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)</element>
-    <element>java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)</element>
-    <element>java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)</element>
-    <element>java.base/java.lang.reflect.Method.invoke(Method.java:566)</element>
-    <element>scala.reflect.runtime.JavaMirrors$JavaMirror$JavaVanillaMethodMirror1.jinvokeraw(JavaMirrors.scala:407)</element>
-    <element>scala.reflect.runtime.JavaMirrors$JavaMirror$JavaMethodMirror.jinvoke(JavaMirrors.scala:373)</element>
-    <element>scala.reflect.runtime.JavaMirrors$JavaMirror$JavaVanillaMethodMirror.apply(JavaMirrors.scala:389)</element>
-    <element>info.kwarc.mmt.utils.Reflection$ThisReflectedInstance.method(Reflection.scala:32)</element>
-    <element>info.kwarc.mmt.intellij.MMTJar.method(Plugin.scala:111)</element>
-    <element>info.kwarc.mmt.intellij.MMTJar.handleLine(Plugin.scala:122)</element>
-    <element>info.kwarc.mmt.intellij.ui.ShellViewer.doAction(Shell.scala:39)</element>
-    <element>info.kwarc.mmt.intellij.ui.ShellViewer.actionPerformed(Shell.scala:34)</element>
-    <element>java.desktop/javax.swing.JTextField.fireActionPerformed(JTextField.java:508)</element>
-    <element>java.desktop/javax.swing.JTextField.postActionEvent(JTextField.java:723)</element>
-    <element>java.desktop/javax.swing.JTextField$NotifyAction.actionPerformed(JTextField.java:839)</element>
-    <element>java.desktop/javax.swing.SwingUtilities.notifyAction(SwingUtilities.java:1810)</element>
-    <element>java.desktop/javax.swing.JComponent.processKeyBinding(JComponent.java:2903)</element>
-    <element>java.desktop/javax.swing.JComponent.processKeyBindings(JComponent.java:2951)</element>
-    <element>java.desktop/javax.swing.JComponent.processKeyEvent(JComponent.java:2865)</element>
-    <element>java.desktop/java.awt.Component.processEvent(Component.java:6431)</element>
-    <element>java.desktop/java.awt.Container.processEvent(Container.java:2263)</element>
-    <element>java.desktop/java.awt.Component.dispatchEventImpl(Component.java:5029)</element>
-    <element>java.desktop/java.awt.Container.dispatchEventImpl(Container.java:2321)</element>
-    <element>java.desktop/java.awt.Component.dispatchEvent(Component.java:4861)</element>
-    <element>java.desktop/java.awt.KeyboardFocusManager.redispatchEvent(KeyboardFocusManager.java:1950)</element>
-    <element>java.desktop/java.awt.DefaultKeyboardFocusManager.dispatchKeyEvent(DefaultKeyboardFocusManager.java:878)</element>
-    <element>java.desktop/java.awt.DefaultKeyboardFocusManager.preDispatchKeyEvent(DefaultKeyboardFocusManager.java:1148)</element>
-    <element>java.desktop/java.awt.DefaultKeyboardFocusManager.typeAheadAssertions(DefaultKeyboardFocusManager.java:1017)</element>
-    <element>java.desktop/java.awt.DefaultKeyboardFocusManager.dispatchEvent(DefaultKeyboardFocusManager.java:843)</element>
-    <element>com.intellij.ide.IdeKeyboardFocusManager.dispatchEvent(IdeKeyboardFocusManager.java:41)</element>
-    <element>java.desktop/java.awt.Component.dispatchEventImpl(Component.java:4910)</element>
-    <element>java.desktop/java.awt.Container.dispatchEventImpl(Container.java:2321)</element>
-    <element>java.desktop/java.awt.Window.dispatchEventImpl(Window.java:2773)</element>
-    <element>java.desktop/java.awt.Component.dispatchEvent(Component.java:4861)</element>
-    <element>java.desktop/java.awt.EventQueue.dispatchEventImpl(EventQueue.java:778)</element>
-    <element>java.desktop/java.awt.EventQueue$4.run(EventQueue.java:727)</element>
-    <element>java.desktop/java.awt.EventQueue$4.run(EventQueue.java:721)</element>
-    <element>java.base/java.security.AccessController.doPrivileged(Native Method)</element>
-    <element>java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:85)</element>
-    <element>java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:95)</element>
-    <element>java.desktop/java.awt.EventQueue$5.run(EventQueue.java:751)</element>
-    <element>java.desktop/java.awt.EventQueue$5.run(EventQueue.java:749)</element>
-    <element>java.base/java.security.AccessController.doPrivileged(Native Method)</element>
-    <element>java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:85)</element>
-    <element>java.desktop/java.awt.EventQueue.dispatchEvent(EventQueue.java:748)</element>
-    <element>com.intellij.ide.IdeEventQueue.defaultDispatchEvent(IdeEventQueue.java:971)</element>
-    <element>com.intellij.ide.IdeEventQueue.dispatchKeyEvent(IdeEventQueue.java:894)</element>
-    <element>com.intellij.ide.IdeEventQueue._dispatchEvent(IdeEventQueue.java:835)</element>
-    <element>com.intellij.ide.IdeEventQueue.lambda$dispatchEvent$8(IdeEventQueue.java:452)</element>
-    <element>com.intellij.openapi.progress.impl.CoreProgressManager.computePrioritized(CoreProgressManager.java:744)</element>
-    <element>com.intellij.ide.IdeEventQueue.lambda$dispatchEvent$9(IdeEventQueue.java:451)</element>
-    <element>com.intellij.openapi.application.impl.ApplicationImpl.runIntendedWriteActionOnCurrentThread(ApplicationImpl.java:802)</element>
-    <element>com.intellij.ide.IdeEventQueue.dispatchEvent(IdeEventQueue.java:505)</element>
-    <element>java.desktop/java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:203)</element>
-    <element>java.desktop/java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:124)</element>
-    <element>java.desktop/java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:113)</element>
-    <element>java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:109)</element>
-    <element>java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:101)</element>
-    <element>java.desktop/java.awt.EventDispatchThread.run(EventDispatchThread.java:90)</element>
+    <element>info.kwarc.mmt.api.archives.BuildQueue$$anon$1.run(BuildQueue.scala:263)</element>
   </stacktrace>
 </error>
 <error 
@@ -157,85 +84,7 @@ type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid un
     <element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:159)</element>
     <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTask(BuildTarget.scala:564)</element>
     <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTaskIfNeeded(BuildTarget.scala:470)</element>
-    <element>info.kwarc.mmt.api.archives.TrivialBuildManager.$anonfun$addTasks$1(BuildQueue.scala:123)</element>
-    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
-    <element>info.kwarc.mmt.api.archives.TrivialBuildManager.addTasks(BuildQueue.scala:122)</element>
-    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:389)</element>
-    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:383)</element>
-    <element>info.kwarc.mmt.api.archives.BuildTarget.apply(BuildTarget.scala:227)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1(ArchiveAction.scala:119)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1$adapted(ArchiveAction.scala:96)</element>
-    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive(ArchiveAction.scala:96)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive$(ArchiveAction.scala:95)</element>
-    <element>info.kwarc.mmt.api.frontend.Controller.buildArchive(Controller.scala:74)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveBuild.apply(ArchiveAction.scala:13)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle(ActionHandling.scala:48)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle$(ActionHandling.scala:37)</element>
-    <element>info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:74)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine(ActionHandling.scala:33)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine$(ActionHandling.scala:31)</element>
-    <element>info.kwarc.mmt.api.frontend.Controller.handleLine(Controller.scala:74)</element>
-    <element>info.kwarc.mmt.intellij.MMTPluginInterface.handleLine(MMTPlugin.scala:117)</element>
-    <element>java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)</element>
-    <element>java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)</element>
-    <element>java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)</element>
-    <element>java.base/java.lang.reflect.Method.invoke(Method.java:566)</element>
-    <element>scala.reflect.runtime.JavaMirrors$JavaMirror$JavaVanillaMethodMirror1.jinvokeraw(JavaMirrors.scala:407)</element>
-    <element>scala.reflect.runtime.JavaMirrors$JavaMirror$JavaMethodMirror.jinvoke(JavaMirrors.scala:373)</element>
-    <element>scala.reflect.runtime.JavaMirrors$JavaMirror$JavaVanillaMethodMirror.apply(JavaMirrors.scala:389)</element>
-    <element>info.kwarc.mmt.utils.Reflection$ThisReflectedInstance.method(Reflection.scala:32)</element>
-    <element>info.kwarc.mmt.intellij.MMTJar.method(Plugin.scala:111)</element>
-    <element>info.kwarc.mmt.intellij.MMTJar.handleLine(Plugin.scala:122)</element>
-    <element>info.kwarc.mmt.intellij.ui.ShellViewer.doAction(Shell.scala:39)</element>
-    <element>info.kwarc.mmt.intellij.ui.ShellViewer.actionPerformed(Shell.scala:34)</element>
-    <element>java.desktop/javax.swing.JTextField.fireActionPerformed(JTextField.java:508)</element>
-    <element>java.desktop/javax.swing.JTextField.postActionEvent(JTextField.java:723)</element>
-    <element>java.desktop/javax.swing.JTextField$NotifyAction.actionPerformed(JTextField.java:839)</element>
-    <element>java.desktop/javax.swing.SwingUtilities.notifyAction(SwingUtilities.java:1810)</element>
-    <element>java.desktop/javax.swing.JComponent.processKeyBinding(JComponent.java:2903)</element>
-    <element>java.desktop/javax.swing.JComponent.processKeyBindings(JComponent.java:2951)</element>
-    <element>java.desktop/javax.swing.JComponent.processKeyEvent(JComponent.java:2865)</element>
-    <element>java.desktop/java.awt.Component.processEvent(Component.java:6431)</element>
-    <element>java.desktop/java.awt.Container.processEvent(Container.java:2263)</element>
-    <element>java.desktop/java.awt.Component.dispatchEventImpl(Component.java:5029)</element>
-    <element>java.desktop/java.awt.Container.dispatchEventImpl(Container.java:2321)</element>
-    <element>java.desktop/java.awt.Component.dispatchEvent(Component.java:4861)</element>
-    <element>java.desktop/java.awt.KeyboardFocusManager.redispatchEvent(KeyboardFocusManager.java:1950)</element>
-    <element>java.desktop/java.awt.DefaultKeyboardFocusManager.dispatchKeyEvent(DefaultKeyboardFocusManager.java:878)</element>
-    <element>java.desktop/java.awt.DefaultKeyboardFocusManager.preDispatchKeyEvent(DefaultKeyboardFocusManager.java:1148)</element>
-    <element>java.desktop/java.awt.DefaultKeyboardFocusManager.typeAheadAssertions(DefaultKeyboardFocusManager.java:1017)</element>
-    <element>java.desktop/java.awt.DefaultKeyboardFocusManager.dispatchEvent(DefaultKeyboardFocusManager.java:843)</element>
-    <element>com.intellij.ide.IdeKeyboardFocusManager.dispatchEvent(IdeKeyboardFocusManager.java:41)</element>
-    <element>java.desktop/java.awt.Component.dispatchEventImpl(Component.java:4910)</element>
-    <element>java.desktop/java.awt.Container.dispatchEventImpl(Container.java:2321)</element>
-    <element>java.desktop/java.awt.Window.dispatchEventImpl(Window.java:2773)</element>
-    <element>java.desktop/java.awt.Component.dispatchEvent(Component.java:4861)</element>
-    <element>java.desktop/java.awt.EventQueue.dispatchEventImpl(EventQueue.java:778)</element>
-    <element>java.desktop/java.awt.EventQueue$4.run(EventQueue.java:727)</element>
-    <element>java.desktop/java.awt.EventQueue$4.run(EventQueue.java:721)</element>
-    <element>java.base/java.security.AccessController.doPrivileged(Native Method)</element>
-    <element>java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:85)</element>
-    <element>java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:95)</element>
-    <element>java.desktop/java.awt.EventQueue$5.run(EventQueue.java:751)</element>
-    <element>java.desktop/java.awt.EventQueue$5.run(EventQueue.java:749)</element>
-    <element>java.base/java.security.AccessController.doPrivileged(Native Method)</element>
-    <element>java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:85)</element>
-    <element>java.desktop/java.awt.EventQueue.dispatchEvent(EventQueue.java:748)</element>
-    <element>com.intellij.ide.IdeEventQueue.defaultDispatchEvent(IdeEventQueue.java:971)</element>
-    <element>com.intellij.ide.IdeEventQueue.dispatchKeyEvent(IdeEventQueue.java:894)</element>
-    <element>com.intellij.ide.IdeEventQueue._dispatchEvent(IdeEventQueue.java:835)</element>
-    <element>com.intellij.ide.IdeEventQueue.lambda$dispatchEvent$8(IdeEventQueue.java:452)</element>
-    <element>com.intellij.openapi.progress.impl.CoreProgressManager.computePrioritized(CoreProgressManager.java:744)</element>
-    <element>com.intellij.ide.IdeEventQueue.lambda$dispatchEvent$9(IdeEventQueue.java:451)</element>
-    <element>com.intellij.openapi.application.impl.ApplicationImpl.runIntendedWriteActionOnCurrentThread(ApplicationImpl.java:802)</element>
-    <element>com.intellij.ide.IdeEventQueue.dispatchEvent(IdeEventQueue.java:505)</element>
-    <element>java.desktop/java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:203)</element>
-    <element>java.desktop/java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:124)</element>
-    <element>java.desktop/java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:113)</element>
-    <element>java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:109)</element>
-    <element>java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:101)</element>
-    <element>java.desktop/java.awt.EventDispatchThread.run(EventDispatchThread.java:90)</element>
+    <element>info.kwarc.mmt.api.archives.BuildQueue$$anon$1.run(BuildQueue.scala:263)</element>
   </stacktrace>
 </error>
 
@@ -281,85 +130,7 @@ type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid un
     <element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:159)</element>
     <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTask(BuildTarget.scala:564)</element>
     <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTaskIfNeeded(BuildTarget.scala:470)</element>
-    <element>info.kwarc.mmt.api.archives.TrivialBuildManager.$anonfun$addTasks$1(BuildQueue.scala:123)</element>
-    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
-    <element>info.kwarc.mmt.api.archives.TrivialBuildManager.addTasks(BuildQueue.scala:122)</element>
-    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:389)</element>
-    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:383)</element>
-    <element>info.kwarc.mmt.api.archives.BuildTarget.apply(BuildTarget.scala:227)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1(ArchiveAction.scala:119)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1$adapted(ArchiveAction.scala:96)</element>
-    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive(ArchiveAction.scala:96)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive$(ArchiveAction.scala:95)</element>
-    <element>info.kwarc.mmt.api.frontend.Controller.buildArchive(Controller.scala:74)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveBuild.apply(ArchiveAction.scala:13)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle(ActionHandling.scala:48)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle$(ActionHandling.scala:37)</element>
-    <element>info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:74)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine(ActionHandling.scala:33)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine$(ActionHandling.scala:31)</element>
-    <element>info.kwarc.mmt.api.frontend.Controller.handleLine(Controller.scala:74)</element>
-    <element>info.kwarc.mmt.intellij.MMTPluginInterface.handleLine(MMTPlugin.scala:117)</element>
-    <element>java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)</element>
-    <element>java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)</element>
-    <element>java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)</element>
-    <element>java.base/java.lang.reflect.Method.invoke(Method.java:566)</element>
-    <element>scala.reflect.runtime.JavaMirrors$JavaMirror$JavaVanillaMethodMirror1.jinvokeraw(JavaMirrors.scala:407)</element>
-    <element>scala.reflect.runtime.JavaMirrors$JavaMirror$JavaMethodMirror.jinvoke(JavaMirrors.scala:373)</element>
-    <element>scala.reflect.runtime.JavaMirrors$JavaMirror$JavaVanillaMethodMirror.apply(JavaMirrors.scala:389)</element>
-    <element>info.kwarc.mmt.utils.Reflection$ThisReflectedInstance.method(Reflection.scala:32)</element>
-    <element>info.kwarc.mmt.intellij.MMTJar.method(Plugin.scala:111)</element>
-    <element>info.kwarc.mmt.intellij.MMTJar.handleLine(Plugin.scala:122)</element>
-    <element>info.kwarc.mmt.intellij.ui.ShellViewer.doAction(Shell.scala:39)</element>
-    <element>info.kwarc.mmt.intellij.ui.ShellViewer.actionPerformed(Shell.scala:34)</element>
-    <element>java.desktop/javax.swing.JTextField.fireActionPerformed(JTextField.java:508)</element>
-    <element>java.desktop/javax.swing.JTextField.postActionEvent(JTextField.java:723)</element>
-    <element>java.desktop/javax.swing.JTextField$NotifyAction.actionPerformed(JTextField.java:839)</element>
-    <element>java.desktop/javax.swing.SwingUtilities.notifyAction(SwingUtilities.java:1810)</element>
-    <element>java.desktop/javax.swing.JComponent.processKeyBinding(JComponent.java:2903)</element>
-    <element>java.desktop/javax.swing.JComponent.processKeyBindings(JComponent.java:2951)</element>
-    <element>java.desktop/javax.swing.JComponent.processKeyEvent(JComponent.java:2865)</element>
-    <element>java.desktop/java.awt.Component.processEvent(Component.java:6431)</element>
-    <element>java.desktop/java.awt.Container.processEvent(Container.java:2263)</element>
-    <element>java.desktop/java.awt.Component.dispatchEventImpl(Component.java:5029)</element>
-    <element>java.desktop/java.awt.Container.dispatchEventImpl(Container.java:2321)</element>
-    <element>java.desktop/java.awt.Component.dispatchEvent(Component.java:4861)</element>
-    <element>java.desktop/java.awt.KeyboardFocusManager.redispatchEvent(KeyboardFocusManager.java:1950)</element>
-    <element>java.desktop/java.awt.DefaultKeyboardFocusManager.dispatchKeyEvent(DefaultKeyboardFocusManager.java:878)</element>
-    <element>java.desktop/java.awt.DefaultKeyboardFocusManager.preDispatchKeyEvent(DefaultKeyboardFocusManager.java:1148)</element>
-    <element>java.desktop/java.awt.DefaultKeyboardFocusManager.typeAheadAssertions(DefaultKeyboardFocusManager.java:1017)</element>
-    <element>java.desktop/java.awt.DefaultKeyboardFocusManager.dispatchEvent(DefaultKeyboardFocusManager.java:843)</element>
-    <element>com.intellij.ide.IdeKeyboardFocusManager.dispatchEvent(IdeKeyboardFocusManager.java:41)</element>
-    <element>java.desktop/java.awt.Component.dispatchEventImpl(Component.java:4910)</element>
-    <element>java.desktop/java.awt.Container.dispatchEventImpl(Container.java:2321)</element>
-    <element>java.desktop/java.awt.Window.dispatchEventImpl(Window.java:2773)</element>
-    <element>java.desktop/java.awt.Component.dispatchEvent(Component.java:4861)</element>
-    <element>java.desktop/java.awt.EventQueue.dispatchEventImpl(EventQueue.java:778)</element>
-    <element>java.desktop/java.awt.EventQueue$4.run(EventQueue.java:727)</element>
-    <element>java.desktop/java.awt.EventQueue$4.run(EventQueue.java:721)</element>
-    <element>java.base/java.security.AccessController.doPrivileged(Native Method)</element>
-    <element>java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:85)</element>
-    <element>java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:95)</element>
-    <element>java.desktop/java.awt.EventQueue$5.run(EventQueue.java:751)</element>
-    <element>java.desktop/java.awt.EventQueue$5.run(EventQueue.java:749)</element>
-    <element>java.base/java.security.AccessController.doPrivileged(Native Method)</element>
-    <element>java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:85)</element>
-    <element>java.desktop/java.awt.EventQueue.dispatchEvent(EventQueue.java:748)</element>
-    <element>com.intellij.ide.IdeEventQueue.defaultDispatchEvent(IdeEventQueue.java:971)</element>
-    <element>com.intellij.ide.IdeEventQueue.dispatchKeyEvent(IdeEventQueue.java:894)</element>
-    <element>com.intellij.ide.IdeEventQueue._dispatchEvent(IdeEventQueue.java:835)</element>
-    <element>com.intellij.ide.IdeEventQueue.lambda$dispatchEvent$8(IdeEventQueue.java:452)</element>
-    <element>com.intellij.openapi.progress.impl.CoreProgressManager.computePrioritized(CoreProgressManager.java:744)</element>
-    <element>com.intellij.ide.IdeEventQueue.lambda$dispatchEvent$9(IdeEventQueue.java:451)</element>
-    <element>com.intellij.openapi.application.impl.ApplicationImpl.runIntendedWriteActionOnCurrentThread(ApplicationImpl.java:802)</element>
-    <element>com.intellij.ide.IdeEventQueue.dispatchEvent(IdeEventQueue.java:505)</element>
-    <element>java.desktop/java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:203)</element>
-    <element>java.desktop/java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:124)</element>
-    <element>java.desktop/java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:113)</element>
-    <element>java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:109)</element>
-    <element>java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:101)</element>
-    <element>java.desktop/java.awt.EventDispatchThread.run(EventDispatchThread.java:90)</element>
+    <element>info.kwarc.mmt.api.archives.BuildQueue$$anon$1.run(BuildQueue.scala:263)</element>
   </stacktrace>
 </error>
 
@@ -405,85 +176,7 @@ type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid un
     <element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:159)</element>
     <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTask(BuildTarget.scala:564)</element>
     <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTaskIfNeeded(BuildTarget.scala:470)</element>
-    <element>info.kwarc.mmt.api.archives.TrivialBuildManager.$anonfun$addTasks$1(BuildQueue.scala:123)</element>
-    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
-    <element>info.kwarc.mmt.api.archives.TrivialBuildManager.addTasks(BuildQueue.scala:122)</element>
-    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:389)</element>
-    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:383)</element>
-    <element>info.kwarc.mmt.api.archives.BuildTarget.apply(BuildTarget.scala:227)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1(ArchiveAction.scala:119)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1$adapted(ArchiveAction.scala:96)</element>
-    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive(ArchiveAction.scala:96)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive$(ArchiveAction.scala:95)</element>
-    <element>info.kwarc.mmt.api.frontend.Controller.buildArchive(Controller.scala:74)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveBuild.apply(ArchiveAction.scala:13)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle(ActionHandling.scala:48)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle$(ActionHandling.scala:37)</element>
-    <element>info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:74)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine(ActionHandling.scala:33)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine$(ActionHandling.scala:31)</element>
-    <element>info.kwarc.mmt.api.frontend.Controller.handleLine(Controller.scala:74)</element>
-    <element>info.kwarc.mmt.intellij.MMTPluginInterface.handleLine(MMTPlugin.scala:117)</element>
-    <element>java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)</element>
-    <element>java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)</element>
-    <element>java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)</element>
-    <element>java.base/java.lang.reflect.Method.invoke(Method.java:566)</element>
-    <element>scala.reflect.runtime.JavaMirrors$JavaMirror$JavaVanillaMethodMirror1.jinvokeraw(JavaMirrors.scala:407)</element>
-    <element>scala.reflect.runtime.JavaMirrors$JavaMirror$JavaMethodMirror.jinvoke(JavaMirrors.scala:373)</element>
-    <element>scala.reflect.runtime.JavaMirrors$JavaMirror$JavaVanillaMethodMirror.apply(JavaMirrors.scala:389)</element>
-    <element>info.kwarc.mmt.utils.Reflection$ThisReflectedInstance.method(Reflection.scala:32)</element>
-    <element>info.kwarc.mmt.intellij.MMTJar.method(Plugin.scala:111)</element>
-    <element>info.kwarc.mmt.intellij.MMTJar.handleLine(Plugin.scala:122)</element>
-    <element>info.kwarc.mmt.intellij.ui.ShellViewer.doAction(Shell.scala:39)</element>
-    <element>info.kwarc.mmt.intellij.ui.ShellViewer.actionPerformed(Shell.scala:34)</element>
-    <element>java.desktop/javax.swing.JTextField.fireActionPerformed(JTextField.java:508)</element>
-    <element>java.desktop/javax.swing.JTextField.postActionEvent(JTextField.java:723)</element>
-    <element>java.desktop/javax.swing.JTextField$NotifyAction.actionPerformed(JTextField.java:839)</element>
-    <element>java.desktop/javax.swing.SwingUtilities.notifyAction(SwingUtilities.java:1810)</element>
-    <element>java.desktop/javax.swing.JComponent.processKeyBinding(JComponent.java:2903)</element>
-    <element>java.desktop/javax.swing.JComponent.processKeyBindings(JComponent.java:2951)</element>
-    <element>java.desktop/javax.swing.JComponent.processKeyEvent(JComponent.java:2865)</element>
-    <element>java.desktop/java.awt.Component.processEvent(Component.java:6431)</element>
-    <element>java.desktop/java.awt.Container.processEvent(Container.java:2263)</element>
-    <element>java.desktop/java.awt.Component.dispatchEventImpl(Component.java:5029)</element>
-    <element>java.desktop/java.awt.Container.dispatchEventImpl(Container.java:2321)</element>
-    <element>java.desktop/java.awt.Component.dispatchEvent(Component.java:4861)</element>
-    <element>java.desktop/java.awt.KeyboardFocusManager.redispatchEvent(KeyboardFocusManager.java:1950)</element>
-    <element>java.desktop/java.awt.DefaultKeyboardFocusManager.dispatchKeyEvent(DefaultKeyboardFocusManager.java:878)</element>
-    <element>java.desktop/java.awt.DefaultKeyboardFocusManager.preDispatchKeyEvent(DefaultKeyboardFocusManager.java:1148)</element>
-    <element>java.desktop/java.awt.DefaultKeyboardFocusManager.typeAheadAssertions(DefaultKeyboardFocusManager.java:1017)</element>
-    <element>java.desktop/java.awt.DefaultKeyboardFocusManager.dispatchEvent(DefaultKeyboardFocusManager.java:843)</element>
-    <element>com.intellij.ide.IdeKeyboardFocusManager.dispatchEvent(IdeKeyboardFocusManager.java:41)</element>
-    <element>java.desktop/java.awt.Component.dispatchEventImpl(Component.java:4910)</element>
-    <element>java.desktop/java.awt.Container.dispatchEventImpl(Container.java:2321)</element>
-    <element>java.desktop/java.awt.Window.dispatchEventImpl(Window.java:2773)</element>
-    <element>java.desktop/java.awt.Component.dispatchEvent(Component.java:4861)</element>
-    <element>java.desktop/java.awt.EventQueue.dispatchEventImpl(EventQueue.java:778)</element>
-    <element>java.desktop/java.awt.EventQueue$4.run(EventQueue.java:727)</element>
-    <element>java.desktop/java.awt.EventQueue$4.run(EventQueue.java:721)</element>
-    <element>java.base/java.security.AccessController.doPrivileged(Native Method)</element>
-    <element>java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:85)</element>
-    <element>java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:95)</element>
-    <element>java.desktop/java.awt.EventQueue$5.run(EventQueue.java:751)</element>
-    <element>java.desktop/java.awt.EventQueue$5.run(EventQueue.java:749)</element>
-    <element>java.base/java.security.AccessController.doPrivileged(Native Method)</element>
-    <element>java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:85)</element>
-    <element>java.desktop/java.awt.EventQueue.dispatchEvent(EventQueue.java:748)</element>
-    <element>com.intellij.ide.IdeEventQueue.defaultDispatchEvent(IdeEventQueue.java:971)</element>
-    <element>com.intellij.ide.IdeEventQueue.dispatchKeyEvent(IdeEventQueue.java:894)</element>
-    <element>com.intellij.ide.IdeEventQueue._dispatchEvent(IdeEventQueue.java:835)</element>
-    <element>com.intellij.ide.IdeEventQueue.lambda$dispatchEvent$8(IdeEventQueue.java:452)</element>
-    <element>com.intellij.openapi.progress.impl.CoreProgressManager.computePrioritized(CoreProgressManager.java:744)</element>
-    <element>com.intellij.ide.IdeEventQueue.lambda$dispatchEvent$9(IdeEventQueue.java:451)</element>
-    <element>com.intellij.openapi.application.impl.ApplicationImpl.runIntendedWriteActionOnCurrentThread(ApplicationImpl.java:802)</element>
-    <element>com.intellij.ide.IdeEventQueue.dispatchEvent(IdeEventQueue.java:505)</element>
-    <element>java.desktop/java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:203)</element>
-    <element>java.desktop/java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:124)</element>
-    <element>java.desktop/java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:113)</element>
-    <element>java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:109)</element>
-    <element>java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:101)</element>
-    <element>java.desktop/java.awt.EventDispatchThread.run(EventDispatchThread.java:90)</element>
+    <element>info.kwarc.mmt.api.archives.BuildQueue$$anon$1.run(BuildQueue.scala:263)</element>
   </stacktrace>
 </error>
 
@@ -528,85 +221,7 @@ type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid un
     <element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:159)</element>
     <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTask(BuildTarget.scala:564)</element>
     <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTaskIfNeeded(BuildTarget.scala:470)</element>
-    <element>info.kwarc.mmt.api.archives.TrivialBuildManager.$anonfun$addTasks$1(BuildQueue.scala:123)</element>
-    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
-    <element>info.kwarc.mmt.api.archives.TrivialBuildManager.addTasks(BuildQueue.scala:122)</element>
-    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:389)</element>
-    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:383)</element>
-    <element>info.kwarc.mmt.api.archives.BuildTarget.apply(BuildTarget.scala:227)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1(ArchiveAction.scala:119)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1$adapted(ArchiveAction.scala:96)</element>
-    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive(ArchiveAction.scala:96)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive$(ArchiveAction.scala:95)</element>
-    <element>info.kwarc.mmt.api.frontend.Controller.buildArchive(Controller.scala:74)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveBuild.apply(ArchiveAction.scala:13)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle(ActionHandling.scala:48)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle$(ActionHandling.scala:37)</element>
-    <element>info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:74)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine(ActionHandling.scala:33)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine$(ActionHandling.scala:31)</element>
-    <element>info.kwarc.mmt.api.frontend.Controller.handleLine(Controller.scala:74)</element>
-    <element>info.kwarc.mmt.intellij.MMTPluginInterface.handleLine(MMTPlugin.scala:117)</element>
-    <element>java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)</element>
-    <element>java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)</element>
-    <element>java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)</element>
-    <element>java.base/java.lang.reflect.Method.invoke(Method.java:566)</element>
-    <element>scala.reflect.runtime.JavaMirrors$JavaMirror$JavaVanillaMethodMirror1.jinvokeraw(JavaMirrors.scala:407)</element>
-    <element>scala.reflect.runtime.JavaMirrors$JavaMirror$JavaMethodMirror.jinvoke(JavaMirrors.scala:373)</element>
-    <element>scala.reflect.runtime.JavaMirrors$JavaMirror$JavaVanillaMethodMirror.apply(JavaMirrors.scala:389)</element>
-    <element>info.kwarc.mmt.utils.Reflection$ThisReflectedInstance.method(Reflection.scala:32)</element>
-    <element>info.kwarc.mmt.intellij.MMTJar.method(Plugin.scala:111)</element>
-    <element>info.kwarc.mmt.intellij.MMTJar.handleLine(Plugin.scala:122)</element>
-    <element>info.kwarc.mmt.intellij.ui.ShellViewer.doAction(Shell.scala:39)</element>
-    <element>info.kwarc.mmt.intellij.ui.ShellViewer.actionPerformed(Shell.scala:34)</element>
-    <element>java.desktop/javax.swing.JTextField.fireActionPerformed(JTextField.java:508)</element>
-    <element>java.desktop/javax.swing.JTextField.postActionEvent(JTextField.java:723)</element>
-    <element>java.desktop/javax.swing.JTextField$NotifyAction.actionPerformed(JTextField.java:839)</element>
-    <element>java.desktop/javax.swing.SwingUtilities.notifyAction(SwingUtilities.java:1810)</element>
-    <element>java.desktop/javax.swing.JComponent.processKeyBinding(JComponent.java:2903)</element>
-    <element>java.desktop/javax.swing.JComponent.processKeyBindings(JComponent.java:2951)</element>
-    <element>java.desktop/javax.swing.JComponent.processKeyEvent(JComponent.java:2865)</element>
-    <element>java.desktop/java.awt.Component.processEvent(Component.java:6431)</element>
-    <element>java.desktop/java.awt.Container.processEvent(Container.java:2263)</element>
-    <element>java.desktop/java.awt.Component.dispatchEventImpl(Component.java:5029)</element>
-    <element>java.desktop/java.awt.Container.dispatchEventImpl(Container.java:2321)</element>
-    <element>java.desktop/java.awt.Component.dispatchEvent(Component.java:4861)</element>
-    <element>java.desktop/java.awt.KeyboardFocusManager.redispatchEvent(KeyboardFocusManager.java:1950)</element>
-    <element>java.desktop/java.awt.DefaultKeyboardFocusManager.dispatchKeyEvent(DefaultKeyboardFocusManager.java:878)</element>
-    <element>java.desktop/java.awt.DefaultKeyboardFocusManager.preDispatchKeyEvent(DefaultKeyboardFocusManager.java:1148)</element>
-    <element>java.desktop/java.awt.DefaultKeyboardFocusManager.typeAheadAssertions(DefaultKeyboardFocusManager.java:1017)</element>
-    <element>java.desktop/java.awt.DefaultKeyboardFocusManager.dispatchEvent(DefaultKeyboardFocusManager.java:843)</element>
-    <element>com.intellij.ide.IdeKeyboardFocusManager.dispatchEvent(IdeKeyboardFocusManager.java:41)</element>
-    <element>java.desktop/java.awt.Component.dispatchEventImpl(Component.java:4910)</element>
-    <element>java.desktop/java.awt.Container.dispatchEventImpl(Container.java:2321)</element>
-    <element>java.desktop/java.awt.Window.dispatchEventImpl(Window.java:2773)</element>
-    <element>java.desktop/java.awt.Component.dispatchEvent(Component.java:4861)</element>
-    <element>java.desktop/java.awt.EventQueue.dispatchEventImpl(EventQueue.java:778)</element>
-    <element>java.desktop/java.awt.EventQueue$4.run(EventQueue.java:727)</element>
-    <element>java.desktop/java.awt.EventQueue$4.run(EventQueue.java:721)</element>
-    <element>java.base/java.security.AccessController.doPrivileged(Native Method)</element>
-    <element>java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:85)</element>
-    <element>java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:95)</element>
-    <element>java.desktop/java.awt.EventQueue$5.run(EventQueue.java:751)</element>
-    <element>java.desktop/java.awt.EventQueue$5.run(EventQueue.java:749)</element>
-    <element>java.base/java.security.AccessController.doPrivileged(Native Method)</element>
-    <element>java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:85)</element>
-    <element>java.desktop/java.awt.EventQueue.dispatchEvent(EventQueue.java:748)</element>
-    <element>com.intellij.ide.IdeEventQueue.defaultDispatchEvent(IdeEventQueue.java:971)</element>
-    <element>com.intellij.ide.IdeEventQueue.dispatchKeyEvent(IdeEventQueue.java:894)</element>
-    <element>com.intellij.ide.IdeEventQueue._dispatchEvent(IdeEventQueue.java:835)</element>
-    <element>com.intellij.ide.IdeEventQueue.lambda$dispatchEvent$8(IdeEventQueue.java:452)</element>
-    <element>com.intellij.openapi.progress.impl.CoreProgressManager.computePrioritized(CoreProgressManager.java:744)</element>
-    <element>com.intellij.ide.IdeEventQueue.lambda$dispatchEvent$9(IdeEventQueue.java:451)</element>
-    <element>com.intellij.openapi.application.impl.ApplicationImpl.runIntendedWriteActionOnCurrentThread(ApplicationImpl.java:802)</element>
-    <element>com.intellij.ide.IdeEventQueue.dispatchEvent(IdeEventQueue.java:505)</element>
-    <element>java.desktop/java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:203)</element>
-    <element>java.desktop/java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:124)</element>
-    <element>java.desktop/java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:113)</element>
-    <element>java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:109)</element>
-    <element>java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:101)</element>
-    <element>java.desktop/java.awt.EventDispatchThread.run(EventDispatchThread.java:90)</element>
+    <element>info.kwarc.mmt.api.archives.BuildQueue$$anon$1.run(BuildQueue.scala:263)</element>
   </stacktrace>
 </error>
 
@@ -651,85 +266,7 @@ type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid un
     <element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:159)</element>
     <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTask(BuildTarget.scala:564)</element>
     <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTaskIfNeeded(BuildTarget.scala:470)</element>
-    <element>info.kwarc.mmt.api.archives.TrivialBuildManager.$anonfun$addTasks$1(BuildQueue.scala:123)</element>
-    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
-    <element>info.kwarc.mmt.api.archives.TrivialBuildManager.addTasks(BuildQueue.scala:122)</element>
-    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:389)</element>
-    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:383)</element>
-    <element>info.kwarc.mmt.api.archives.BuildTarget.apply(BuildTarget.scala:227)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1(ArchiveAction.scala:119)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1$adapted(ArchiveAction.scala:96)</element>
-    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive(ArchiveAction.scala:96)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive$(ArchiveAction.scala:95)</element>
-    <element>info.kwarc.mmt.api.frontend.Controller.buildArchive(Controller.scala:74)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveBuild.apply(ArchiveAction.scala:13)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle(ActionHandling.scala:48)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle$(ActionHandling.scala:37)</element>
-    <element>info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:74)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine(ActionHandling.scala:33)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine$(ActionHandling.scala:31)</element>
-    <element>info.kwarc.mmt.api.frontend.Controller.handleLine(Controller.scala:74)</element>
-    <element>info.kwarc.mmt.intellij.MMTPluginInterface.handleLine(MMTPlugin.scala:117)</element>
-    <element>java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)</element>
-    <element>java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)</element>
-    <element>java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)</element>
-    <element>java.base/java.lang.reflect.Method.invoke(Method.java:566)</element>
-    <element>scala.reflect.runtime.JavaMirrors$JavaMirror$JavaVanillaMethodMirror1.jinvokeraw(JavaMirrors.scala:407)</element>
-    <element>scala.reflect.runtime.JavaMirrors$JavaMirror$JavaMethodMirror.jinvoke(JavaMirrors.scala:373)</element>
-    <element>scala.reflect.runtime.JavaMirrors$JavaMirror$JavaVanillaMethodMirror.apply(JavaMirrors.scala:389)</element>
-    <element>info.kwarc.mmt.utils.Reflection$ThisReflectedInstance.method(Reflection.scala:32)</element>
-    <element>info.kwarc.mmt.intellij.MMTJar.method(Plugin.scala:111)</element>
-    <element>info.kwarc.mmt.intellij.MMTJar.handleLine(Plugin.scala:122)</element>
-    <element>info.kwarc.mmt.intellij.ui.ShellViewer.doAction(Shell.scala:39)</element>
-    <element>info.kwarc.mmt.intellij.ui.ShellViewer.actionPerformed(Shell.scala:34)</element>
-    <element>java.desktop/javax.swing.JTextField.fireActionPerformed(JTextField.java:508)</element>
-    <element>java.desktop/javax.swing.JTextField.postActionEvent(JTextField.java:723)</element>
-    <element>java.desktop/javax.swing.JTextField$NotifyAction.actionPerformed(JTextField.java:839)</element>
-    <element>java.desktop/javax.swing.SwingUtilities.notifyAction(SwingUtilities.java:1810)</element>
-    <element>java.desktop/javax.swing.JComponent.processKeyBinding(JComponent.java:2903)</element>
-    <element>java.desktop/javax.swing.JComponent.processKeyBindings(JComponent.java:2951)</element>
-    <element>java.desktop/javax.swing.JComponent.processKeyEvent(JComponent.java:2865)</element>
-    <element>java.desktop/java.awt.Component.processEvent(Component.java:6431)</element>
-    <element>java.desktop/java.awt.Container.processEvent(Container.java:2263)</element>
-    <element>java.desktop/java.awt.Component.dispatchEventImpl(Component.java:5029)</element>
-    <element>java.desktop/java.awt.Container.dispatchEventImpl(Container.java:2321)</element>
-    <element>java.desktop/java.awt.Component.dispatchEvent(Component.java:4861)</element>
-    <element>java.desktop/java.awt.KeyboardFocusManager.redispatchEvent(KeyboardFocusManager.java:1950)</element>
-    <element>java.desktop/java.awt.DefaultKeyboardFocusManager.dispatchKeyEvent(DefaultKeyboardFocusManager.java:878)</element>
-    <element>java.desktop/java.awt.DefaultKeyboardFocusManager.preDispatchKeyEvent(DefaultKeyboardFocusManager.java:1148)</element>
-    <element>java.desktop/java.awt.DefaultKeyboardFocusManager.typeAheadAssertions(DefaultKeyboardFocusManager.java:1017)</element>
-    <element>java.desktop/java.awt.DefaultKeyboardFocusManager.dispatchEvent(DefaultKeyboardFocusManager.java:843)</element>
-    <element>com.intellij.ide.IdeKeyboardFocusManager.dispatchEvent(IdeKeyboardFocusManager.java:41)</element>
-    <element>java.desktop/java.awt.Component.dispatchEventImpl(Component.java:4910)</element>
-    <element>java.desktop/java.awt.Container.dispatchEventImpl(Container.java:2321)</element>
-    <element>java.desktop/java.awt.Window.dispatchEventImpl(Window.java:2773)</element>
-    <element>java.desktop/java.awt.Component.dispatchEvent(Component.java:4861)</element>
-    <element>java.desktop/java.awt.EventQueue.dispatchEventImpl(EventQueue.java:778)</element>
-    <element>java.desktop/java.awt.EventQueue$4.run(EventQueue.java:727)</element>
-    <element>java.desktop/java.awt.EventQueue$4.run(EventQueue.java:721)</element>
-    <element>java.base/java.security.AccessController.doPrivileged(Native Method)</element>
-    <element>java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:85)</element>
-    <element>java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:95)</element>
-    <element>java.desktop/java.awt.EventQueue$5.run(EventQueue.java:751)</element>
-    <element>java.desktop/java.awt.EventQueue$5.run(EventQueue.java:749)</element>
-    <element>java.base/java.security.AccessController.doPrivileged(Native Method)</element>
-    <element>java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:85)</element>
-    <element>java.desktop/java.awt.EventQueue.dispatchEvent(EventQueue.java:748)</element>
-    <element>com.intellij.ide.IdeEventQueue.defaultDispatchEvent(IdeEventQueue.java:971)</element>
-    <element>com.intellij.ide.IdeEventQueue.dispatchKeyEvent(IdeEventQueue.java:894)</element>
-    <element>com.intellij.ide.IdeEventQueue._dispatchEvent(IdeEventQueue.java:835)</element>
-    <element>com.intellij.ide.IdeEventQueue.lambda$dispatchEvent$8(IdeEventQueue.java:452)</element>
-    <element>com.intellij.openapi.progress.impl.CoreProgressManager.computePrioritized(CoreProgressManager.java:744)</element>
-    <element>com.intellij.ide.IdeEventQueue.lambda$dispatchEvent$9(IdeEventQueue.java:451)</element>
-    <element>com.intellij.openapi.application.impl.ApplicationImpl.runIntendedWriteActionOnCurrentThread(ApplicationImpl.java:802)</element>
-    <element>com.intellij.ide.IdeEventQueue.dispatchEvent(IdeEventQueue.java:505)</element>
-    <element>java.desktop/java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:203)</element>
-    <element>java.desktop/java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:124)</element>
-    <element>java.desktop/java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:113)</element>
-    <element>java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:109)</element>
-    <element>java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:101)</element>
-    <element>java.desktop/java.awt.EventDispatchThread.run(EventDispatchThread.java:90)</element>
+    <element>info.kwarc.mmt.api.archives.BuildQueue$$anon$1.run(BuildQueue.scala:263)</element>
   </stacktrace>
 </error>
 
@@ -774,88 +311,96 @@ type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid un
     <element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:159)</element>
     <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTask(BuildTarget.scala:564)</element>
     <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTaskIfNeeded(BuildTarget.scala:470)</element>
-    <element>info.kwarc.mmt.api.archives.TrivialBuildManager.$anonfun$addTasks$1(BuildQueue.scala:123)</element>
+    <element>info.kwarc.mmt.api.archives.BuildQueue$$anon$1.run(BuildQueue.scala:263)</element>
+  </stacktrace>
+</error>
+
+<error type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid unit: http://mathhub.info/LoViVo/gearbox?gb2?c2?definition: Judgment  |- ['center=⟨0,2⟩,radius=1,numteeth=10,angle=0.05'] : cogwheel" level="2">
+  <stacktrace>
+    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$17(RuleBasedChecker.scala:99)</element>
+    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$17$adapted(RuleBasedChecker.scala:98)</element>
     <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
-    <element>info.kwarc.mmt.api.archives.TrivialBuildManager.addTasks(BuildQueue.scala:122)</element>
-    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:389)</element>
-    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:383)</element>
-    <element>info.kwarc.mmt.api.archives.BuildTarget.apply(BuildTarget.scala:227)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1(ArchiveAction.scala:119)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1$adapted(ArchiveAction.scala:96)</element>
+    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$15(RuleBasedChecker.scala:98)</element>
+    <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
+    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
+    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
+    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.logGroup(RuleBasedChecker.scala:17)</element>
+    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.apply(RuleBasedChecker.scala:95)</element>
+    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15(MMTStructureChecker.scala:374)</element>
+    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15$adapted(MMTStructureChecker.scala:350)</element>
+    <element>scala.Option.foreach(Option.scala:407)</element>
+    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.check(MMTStructureChecker.scala:350)</element>
+    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.applyElementBegin(MMTStructureChecker.scala:73)</element>
+    <element>info.kwarc.mmt.api.checking.TwoStepInterpreter$$anon$1.onElement(Interpreter.scala:96)</element>
+    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.seCont(StructureParser.scala:131)</element>
+    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.addDeclaration$1(StructureParser.scala:501)</element>
+    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInModuleAux(StructureParser.scala:692)</element>
+    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInModule(StructureParser.scala:481)</element>
+    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.$anonfun$readTheory$2(StructureParser.scala:772)</element>
+    <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
+    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
+    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
+    <element>info.kwarc.mmt.api.parser.Parser.logGroup(Parser.scala:237)</element>
+    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readTheory(StructureParser.scala:772)</element>
+    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInDocument(StructureParser.scala:420)</element>
+    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.$anonfun$apply$1(StructureParser.scala:93)</element>
+    <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
+    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
+    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
+    <element>info.kwarc.mmt.api.parser.Parser.logGroup(Parser.scala:237)</element>
+    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:93)</element>
+    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:83)</element>
+    <element>info.kwarc.mmt.api.checking.TwoStepInterpreter.apply(Interpreter.scala:102)</element>
+    <element>info.kwarc.mmt.api.checking.Interpreter.importDocument(Interpreter.scala:53)</element>
+    <element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:159)</element>
+    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTask(BuildTarget.scala:564)</element>
+    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTaskIfNeeded(BuildTarget.scala:470)</element>
+    <element>info.kwarc.mmt.api.archives.BuildQueue$$anon$1.run(BuildQueue.scala:263)</element>
+  </stacktrace>
+</error>
+<error type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid unit: http://mathhub.info/LoViVo/gearbox?gb2?c2?definition: Judgment  |- ['center=⟨0,2⟩,radius=1,numteeth=10,angle=0.05'] : cogwheel" level="2">
+  <stacktrace>
+    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$17(RuleBasedChecker.scala:99)</element>
+    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$17$adapted(RuleBasedChecker.scala:98)</element>
     <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive(ArchiveAction.scala:96)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive$(ArchiveAction.scala:95)</element>
-    <element>info.kwarc.mmt.api.frontend.Controller.buildArchive(Controller.scala:74)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveBuild.apply(ArchiveAction.scala:13)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle(ActionHandling.scala:48)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle$(ActionHandling.scala:37)</element>
-    <element>info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:74)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine(ActionHandling.scala:33)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine$(ActionHandling.scala:31)</element>
-    <element>info.kwarc.mmt.api.frontend.Controller.handleLine(Controller.scala:74)</element>
-    <element>info.kwarc.mmt.intellij.MMTPluginInterface.handleLine(MMTPlugin.scala:117)</element>
-    <element>java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)</element>
-    <element>java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)</element>
-    <element>java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)</element>
-    <element>java.base/java.lang.reflect.Method.invoke(Method.java:566)</element>
-    <element>scala.reflect.runtime.JavaMirrors$JavaMirror$JavaVanillaMethodMirror1.jinvokeraw(JavaMirrors.scala:407)</element>
-    <element>scala.reflect.runtime.JavaMirrors$JavaMirror$JavaMethodMirror.jinvoke(JavaMirrors.scala:373)</element>
-    <element>scala.reflect.runtime.JavaMirrors$JavaMirror$JavaVanillaMethodMirror.apply(JavaMirrors.scala:389)</element>
-    <element>info.kwarc.mmt.utils.Reflection$ThisReflectedInstance.method(Reflection.scala:32)</element>
-    <element>info.kwarc.mmt.intellij.MMTJar.method(Plugin.scala:111)</element>
-    <element>info.kwarc.mmt.intellij.MMTJar.handleLine(Plugin.scala:122)</element>
-    <element>info.kwarc.mmt.intellij.ui.ShellViewer.doAction(Shell.scala:39)</element>
-    <element>info.kwarc.mmt.intellij.ui.ShellViewer.actionPerformed(Shell.scala:34)</element>
-    <element>java.desktop/javax.swing.JTextField.fireActionPerformed(JTextField.java:508)</element>
-    <element>java.desktop/javax.swing.JTextField.postActionEvent(JTextField.java:723)</element>
-    <element>java.desktop/javax.swing.JTextField$NotifyAction.actionPerformed(JTextField.java:839)</element>
-    <element>java.desktop/javax.swing.SwingUtilities.notifyAction(SwingUtilities.java:1810)</element>
-    <element>java.desktop/javax.swing.JComponent.processKeyBinding(JComponent.java:2903)</element>
-    <element>java.desktop/javax.swing.JComponent.processKeyBindings(JComponent.java:2951)</element>
-    <element>java.desktop/javax.swing.JComponent.processKeyEvent(JComponent.java:2865)</element>
-    <element>java.desktop/java.awt.Component.processEvent(Component.java:6431)</element>
-    <element>java.desktop/java.awt.Container.processEvent(Container.java:2263)</element>
-    <element>java.desktop/java.awt.Component.dispatchEventImpl(Component.java:5029)</element>
-    <element>java.desktop/java.awt.Container.dispatchEventImpl(Container.java:2321)</element>
-    <element>java.desktop/java.awt.Component.dispatchEvent(Component.java:4861)</element>
-    <element>java.desktop/java.awt.KeyboardFocusManager.redispatchEvent(KeyboardFocusManager.java:1950)</element>
-    <element>java.desktop/java.awt.DefaultKeyboardFocusManager.dispatchKeyEvent(DefaultKeyboardFocusManager.java:878)</element>
-    <element>java.desktop/java.awt.DefaultKeyboardFocusManager.preDispatchKeyEvent(DefaultKeyboardFocusManager.java:1148)</element>
-    <element>java.desktop/java.awt.DefaultKeyboardFocusManager.typeAheadAssertions(DefaultKeyboardFocusManager.java:1017)</element>
-    <element>java.desktop/java.awt.DefaultKeyboardFocusManager.dispatchEvent(DefaultKeyboardFocusManager.java:843)</element>
-    <element>com.intellij.ide.IdeKeyboardFocusManager.dispatchEvent(IdeKeyboardFocusManager.java:41)</element>
-    <element>java.desktop/java.awt.Component.dispatchEventImpl(Component.java:4910)</element>
-    <element>java.desktop/java.awt.Container.dispatchEventImpl(Container.java:2321)</element>
-    <element>java.desktop/java.awt.Window.dispatchEventImpl(Window.java:2773)</element>
-    <element>java.desktop/java.awt.Component.dispatchEvent(Component.java:4861)</element>
-    <element>java.desktop/java.awt.EventQueue.dispatchEventImpl(EventQueue.java:778)</element>
-    <element>java.desktop/java.awt.EventQueue$4.run(EventQueue.java:727)</element>
-    <element>java.desktop/java.awt.EventQueue$4.run(EventQueue.java:721)</element>
-    <element>java.base/java.security.AccessController.doPrivileged(Native Method)</element>
-    <element>java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:85)</element>
-    <element>java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:95)</element>
-    <element>java.desktop/java.awt.EventQueue$5.run(EventQueue.java:751)</element>
-    <element>java.desktop/java.awt.EventQueue$5.run(EventQueue.java:749)</element>
-    <element>java.base/java.security.AccessController.doPrivileged(Native Method)</element>
-    <element>java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:85)</element>
-    <element>java.desktop/java.awt.EventQueue.dispatchEvent(EventQueue.java:748)</element>
-    <element>com.intellij.ide.IdeEventQueue.defaultDispatchEvent(IdeEventQueue.java:971)</element>
-    <element>com.intellij.ide.IdeEventQueue.dispatchKeyEvent(IdeEventQueue.java:894)</element>
-    <element>com.intellij.ide.IdeEventQueue._dispatchEvent(IdeEventQueue.java:835)</element>
-    <element>com.intellij.ide.IdeEventQueue.lambda$dispatchEvent$8(IdeEventQueue.java:452)</element>
-    <element>com.intellij.openapi.progress.impl.CoreProgressManager.computePrioritized(CoreProgressManager.java:744)</element>
-    <element>com.intellij.ide.IdeEventQueue.lambda$dispatchEvent$9(IdeEventQueue.java:451)</element>
-    <element>com.intellij.openapi.application.impl.ApplicationImpl.runIntendedWriteActionOnCurrentThread(ApplicationImpl.java:802)</element>
-    <element>com.intellij.ide.IdeEventQueue.dispatchEvent(IdeEventQueue.java:505)</element>
-    <element>java.desktop/java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:203)</element>
-    <element>java.desktop/java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:124)</element>
-    <element>java.desktop/java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:113)</element>
-    <element>java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:109)</element>
-    <element>java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:101)</element>
-    <element>java.desktop/java.awt.EventDispatchThread.run(EventDispatchThread.java:90)</element>
+    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$15(RuleBasedChecker.scala:98)</element>
+    <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
+    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
+    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
+    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.logGroup(RuleBasedChecker.scala:17)</element>
+    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.apply(RuleBasedChecker.scala:95)</element>
+    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15(MMTStructureChecker.scala:374)</element>
+    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15$adapted(MMTStructureChecker.scala:350)</element>
+    <element>scala.Option.foreach(Option.scala:407)</element>
+    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.check(MMTStructureChecker.scala:350)</element>
+    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.applyElementBegin(MMTStructureChecker.scala:73)</element>
+    <element>info.kwarc.mmt.api.checking.TwoStepInterpreter$$anon$1.onElement(Interpreter.scala:96)</element>
+    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.seCont(StructureParser.scala:131)</element>
+    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.addDeclaration$1(StructureParser.scala:501)</element>
+    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInModuleAux(StructureParser.scala:692)</element>
+    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInModule(StructureParser.scala:481)</element>
+    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.$anonfun$readTheory$2(StructureParser.scala:772)</element>
+    <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
+    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
+    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
+    <element>info.kwarc.mmt.api.parser.Parser.logGroup(Parser.scala:237)</element>
+    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readTheory(StructureParser.scala:772)</element>
+    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInDocument(StructureParser.scala:420)</element>
+    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.$anonfun$apply$1(StructureParser.scala:93)</element>
+    <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
+    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
+    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
+    <element>info.kwarc.mmt.api.parser.Parser.logGroup(Parser.scala:237)</element>
+    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:93)</element>
+    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:83)</element>
+    <element>info.kwarc.mmt.api.checking.TwoStepInterpreter.apply(Interpreter.scala:102)</element>
+    <element>info.kwarc.mmt.api.checking.Interpreter.importDocument(Interpreter.scala:53)</element>
+    <element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:159)</element>
+    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTask(BuildTarget.scala:564)</element>
+    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTaskIfNeeded(BuildTarget.scala:470)</element>
+    <element>info.kwarc.mmt.api.archives.BuildQueue$$anon$1.run(BuildQueue.scala:263)</element>
   </stacktrace>
 </error>
-
 <error type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid unit: http://mathhub.info/LoViVo/gearbox?gb2?proof_interlocking?definition: Judgment  |- eq_refl c1.radius+c2.radius : ⊦interlocking c1 c2" level="2">
   <stacktrace>
     <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$17(RuleBasedChecker.scala:99)</element>
@@ -896,85 +441,93 @@ type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid un
     <element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:159)</element>
     <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTask(BuildTarget.scala:564)</element>
     <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTaskIfNeeded(BuildTarget.scala:470)</element>
-    <element>info.kwarc.mmt.api.archives.TrivialBuildManager.$anonfun$addTasks$1(BuildQueue.scala:123)</element>
+    <element>info.kwarc.mmt.api.archives.BuildQueue$$anon$1.run(BuildQueue.scala:263)</element>
+  </stacktrace>
+</error>
+<error type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid unit: http://mathhub.info/LoViVo/gearbox?gb2?proof_interlocking?definition: Judgment  |- eq_refl c1.radius+c2.radius : ⊦interlocking c1 c2" level="2">
+  <stacktrace>
+    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$17(RuleBasedChecker.scala:99)</element>
+    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$17$adapted(RuleBasedChecker.scala:98)</element>
     <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
-    <element>info.kwarc.mmt.api.archives.TrivialBuildManager.addTasks(BuildQueue.scala:122)</element>
-    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:389)</element>
-    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:383)</element>
-    <element>info.kwarc.mmt.api.archives.BuildTarget.apply(BuildTarget.scala:227)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1(ArchiveAction.scala:119)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1$adapted(ArchiveAction.scala:96)</element>
+    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$15(RuleBasedChecker.scala:98)</element>
+    <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
+    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
+    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
+    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.logGroup(RuleBasedChecker.scala:17)</element>
+    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.apply(RuleBasedChecker.scala:95)</element>
+    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15(MMTStructureChecker.scala:374)</element>
+    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15$adapted(MMTStructureChecker.scala:350)</element>
+    <element>scala.Option.foreach(Option.scala:407)</element>
+    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.check(MMTStructureChecker.scala:350)</element>
+    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.applyElementBegin(MMTStructureChecker.scala:73)</element>
+    <element>info.kwarc.mmt.api.checking.TwoStepInterpreter$$anon$1.onElement(Interpreter.scala:96)</element>
+    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.seCont(StructureParser.scala:131)</element>
+    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.addDeclaration$1(StructureParser.scala:501)</element>
+    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInModuleAux(StructureParser.scala:692)</element>
+    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInModule(StructureParser.scala:481)</element>
+    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.$anonfun$readTheory$2(StructureParser.scala:772)</element>
+    <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
+    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
+    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
+    <element>info.kwarc.mmt.api.parser.Parser.logGroup(Parser.scala:237)</element>
+    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readTheory(StructureParser.scala:772)</element>
+    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInDocument(StructureParser.scala:420)</element>
+    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.$anonfun$apply$1(StructureParser.scala:93)</element>
+    <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
+    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
+    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
+    <element>info.kwarc.mmt.api.parser.Parser.logGroup(Parser.scala:237)</element>
+    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:93)</element>
+    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:83)</element>
+    <element>info.kwarc.mmt.api.checking.TwoStepInterpreter.apply(Interpreter.scala:102)</element>
+    <element>info.kwarc.mmt.api.checking.Interpreter.importDocument(Interpreter.scala:53)</element>
+    <element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:159)</element>
+    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTask(BuildTarget.scala:564)</element>
+    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTaskIfNeeded(BuildTarget.scala:470)</element>
+    <element>info.kwarc.mmt.api.archives.BuildQueue$$anon$1.run(BuildQueue.scala:263)</element>
+  </stacktrace>
+</error>
+<error type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid unit: http://mathhub.info/LoViVo/gearbox?gb2?proof_interlocking?definition: Judgment  |- eq_refl c1.radius+c2.radius : ⊦interlocking c1 c2" level="2">
+  <stacktrace>
+    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$17(RuleBasedChecker.scala:99)</element>
+    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$17$adapted(RuleBasedChecker.scala:98)</element>
     <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive(ArchiveAction.scala:96)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive$(ArchiveAction.scala:95)</element>
-    <element>info.kwarc.mmt.api.frontend.Controller.buildArchive(Controller.scala:74)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveBuild.apply(ArchiveAction.scala:13)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle(ActionHandling.scala:48)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle$(ActionHandling.scala:37)</element>
-    <element>info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:74)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine(ActionHandling.scala:33)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine$(ActionHandling.scala:31)</element>
-    <element>info.kwarc.mmt.api.frontend.Controller.handleLine(Controller.scala:74)</element>
-    <element>info.kwarc.mmt.intellij.MMTPluginInterface.handleLine(MMTPlugin.scala:117)</element>
-    <element>java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)</element>
-    <element>java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)</element>
-    <element>java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)</element>
-    <element>java.base/java.lang.reflect.Method.invoke(Method.java:566)</element>
-    <element>scala.reflect.runtime.JavaMirrors$JavaMirror$JavaVanillaMethodMirror1.jinvokeraw(JavaMirrors.scala:407)</element>
-    <element>scala.reflect.runtime.JavaMirrors$JavaMirror$JavaMethodMirror.jinvoke(JavaMirrors.scala:373)</element>
-    <element>scala.reflect.runtime.JavaMirrors$JavaMirror$JavaVanillaMethodMirror.apply(JavaMirrors.scala:389)</element>
-    <element>info.kwarc.mmt.utils.Reflection$ThisReflectedInstance.method(Reflection.scala:32)</element>
-    <element>info.kwarc.mmt.intellij.MMTJar.method(Plugin.scala:111)</element>
-    <element>info.kwarc.mmt.intellij.MMTJar.handleLine(Plugin.scala:122)</element>
-    <element>info.kwarc.mmt.intellij.ui.ShellViewer.doAction(Shell.scala:39)</element>
-    <element>info.kwarc.mmt.intellij.ui.ShellViewer.actionPerformed(Shell.scala:34)</element>
-    <element>java.desktop/javax.swing.JTextField.fireActionPerformed(JTextField.java:508)</element>
-    <element>java.desktop/javax.swing.JTextField.postActionEvent(JTextField.java:723)</element>
-    <element>java.desktop/javax.swing.JTextField$NotifyAction.actionPerformed(JTextField.java:839)</element>
-    <element>java.desktop/javax.swing.SwingUtilities.notifyAction(SwingUtilities.java:1810)</element>
-    <element>java.desktop/javax.swing.JComponent.processKeyBinding(JComponent.java:2903)</element>
-    <element>java.desktop/javax.swing.JComponent.processKeyBindings(JComponent.java:2951)</element>
-    <element>java.desktop/javax.swing.JComponent.processKeyEvent(JComponent.java:2865)</element>
-    <element>java.desktop/java.awt.Component.processEvent(Component.java:6431)</element>
-    <element>java.desktop/java.awt.Container.processEvent(Container.java:2263)</element>
-    <element>java.desktop/java.awt.Component.dispatchEventImpl(Component.java:5029)</element>
-    <element>java.desktop/java.awt.Container.dispatchEventImpl(Container.java:2321)</element>
-    <element>java.desktop/java.awt.Component.dispatchEvent(Component.java:4861)</element>
-    <element>java.desktop/java.awt.KeyboardFocusManager.redispatchEvent(KeyboardFocusManager.java:1950)</element>
-    <element>java.desktop/java.awt.DefaultKeyboardFocusManager.dispatchKeyEvent(DefaultKeyboardFocusManager.java:878)</element>
-    <element>java.desktop/java.awt.DefaultKeyboardFocusManager.preDispatchKeyEvent(DefaultKeyboardFocusManager.java:1148)</element>
-    <element>java.desktop/java.awt.DefaultKeyboardFocusManager.typeAheadAssertions(DefaultKeyboardFocusManager.java:1017)</element>
-    <element>java.desktop/java.awt.DefaultKeyboardFocusManager.dispatchEvent(DefaultKeyboardFocusManager.java:843)</element>
-    <element>com.intellij.ide.IdeKeyboardFocusManager.dispatchEvent(IdeKeyboardFocusManager.java:41)</element>
-    <element>java.desktop/java.awt.Component.dispatchEventImpl(Component.java:4910)</element>
-    <element>java.desktop/java.awt.Container.dispatchEventImpl(Container.java:2321)</element>
-    <element>java.desktop/java.awt.Window.dispatchEventImpl(Window.java:2773)</element>
-    <element>java.desktop/java.awt.Component.dispatchEvent(Component.java:4861)</element>
-    <element>java.desktop/java.awt.EventQueue.dispatchEventImpl(EventQueue.java:778)</element>
-    <element>java.desktop/java.awt.EventQueue$4.run(EventQueue.java:727)</element>
-    <element>java.desktop/java.awt.EventQueue$4.run(EventQueue.java:721)</element>
-    <element>java.base/java.security.AccessController.doPrivileged(Native Method)</element>
-    <element>java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:85)</element>
-    <element>java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:95)</element>
-    <element>java.desktop/java.awt.EventQueue$5.run(EventQueue.java:751)</element>
-    <element>java.desktop/java.awt.EventQueue$5.run(EventQueue.java:749)</element>
-    <element>java.base/java.security.AccessController.doPrivileged(Native Method)</element>
-    <element>java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:85)</element>
-    <element>java.desktop/java.awt.EventQueue.dispatchEvent(EventQueue.java:748)</element>
-    <element>com.intellij.ide.IdeEventQueue.defaultDispatchEvent(IdeEventQueue.java:971)</element>
-    <element>com.intellij.ide.IdeEventQueue.dispatchKeyEvent(IdeEventQueue.java:894)</element>
-    <element>com.intellij.ide.IdeEventQueue._dispatchEvent(IdeEventQueue.java:835)</element>
-    <element>com.intellij.ide.IdeEventQueue.lambda$dispatchEvent$8(IdeEventQueue.java:452)</element>
-    <element>com.intellij.openapi.progress.impl.CoreProgressManager.computePrioritized(CoreProgressManager.java:744)</element>
-    <element>com.intellij.ide.IdeEventQueue.lambda$dispatchEvent$9(IdeEventQueue.java:451)</element>
-    <element>com.intellij.openapi.application.impl.ApplicationImpl.runIntendedWriteActionOnCurrentThread(ApplicationImpl.java:802)</element>
-    <element>com.intellij.ide.IdeEventQueue.dispatchEvent(IdeEventQueue.java:505)</element>
-    <element>java.desktop/java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:203)</element>
-    <element>java.desktop/java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:124)</element>
-    <element>java.desktop/java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:113)</element>
-    <element>java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:109)</element>
-    <element>java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:101)</element>
-    <element>java.desktop/java.awt.EventDispatchThread.run(EventDispatchThread.java:90)</element>
+    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$15(RuleBasedChecker.scala:98)</element>
+    <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
+    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
+    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
+    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.logGroup(RuleBasedChecker.scala:17)</element>
+    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.apply(RuleBasedChecker.scala:95)</element>
+    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15(MMTStructureChecker.scala:374)</element>
+    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15$adapted(MMTStructureChecker.scala:350)</element>
+    <element>scala.Option.foreach(Option.scala:407)</element>
+    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.check(MMTStructureChecker.scala:350)</element>
+    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.applyElementBegin(MMTStructureChecker.scala:73)</element>
+    <element>info.kwarc.mmt.api.checking.TwoStepInterpreter$$anon$1.onElement(Interpreter.scala:96)</element>
+    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.seCont(StructureParser.scala:131)</element>
+    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.addDeclaration$1(StructureParser.scala:501)</element>
+    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInModuleAux(StructureParser.scala:692)</element>
+    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInModule(StructureParser.scala:481)</element>
+    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.$anonfun$readTheory$2(StructureParser.scala:772)</element>
+    <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
+    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
+    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
+    <element>info.kwarc.mmt.api.parser.Parser.logGroup(Parser.scala:237)</element>
+    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readTheory(StructureParser.scala:772)</element>
+    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInDocument(StructureParser.scala:420)</element>
+    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.$anonfun$apply$1(StructureParser.scala:93)</element>
+    <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
+    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
+    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
+    <element>info.kwarc.mmt.api.parser.Parser.logGroup(Parser.scala:237)</element>
+    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:93)</element>
+    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:83)</element>
+    <element>info.kwarc.mmt.api.checking.TwoStepInterpreter.apply(Interpreter.scala:102)</element>
+    <element>info.kwarc.mmt.api.checking.Interpreter.importDocument(Interpreter.scala:53)</element>
+    <element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:159)</element>
+    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTask(BuildTarget.scala:564)</element>
+    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTaskIfNeeded(BuildTarget.scala:470)</element>
+    <element>info.kwarc.mmt.api.archives.BuildQueue$$anon$1.run(BuildQueue.scala:263)</element>
   </stacktrace>
 </error>
 </errors>
diff --git a/errors/mmt-omdoc/Scrolls/TriangleScrolls.mmt.err b/errors/mmt-omdoc/Scrolls/TriangleScrolls.mmt.err
index e69de29bb2d1d6434b8b29ae775ad8c2e48c5391..a003a310ddaac2945e140ceaaaa6d7e3db90d6b4 100644
--- a/errors/mmt-omdoc/Scrolls/TriangleScrolls.mmt.err
+++ b/errors/mmt-omdoc/Scrolls/TriangleScrolls.mmt.err
@@ -0,0 +1,2 @@
+<errors>
+</errors>
diff --git a/narration/IntegrationTests/SituationTheory.omdoc b/narration/IntegrationTests/SituationTheory.omdoc
index 8030e5412885174306e58fb77688c143be28f0e5..6d8c720195aec95938fafd182738f9b26d82e8cb 100644
--- a/narration/IntegrationTests/SituationTheory.omdoc
+++ b/narration/IntegrationTests/SituationTheory.omdoc
@@ -1,2 +1,2 @@
 <?xml version="1.0" encoding="UTF-8"?>
-<omdoc base="http://mathhub.info/FrameIT/frameworld/IntegrationTests/SituationTheory.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/IntegrationTests/SituationTheory.mmt#0.0.0:1962.78.0"/><meta property="http://cds.omdoc.org/?metadata?importedby"><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMLIT type="http://www.openmath.org/cd?OpenMath?OMSTR" value="mmt-omdoc"/></om:OMOBJ></meta></metadata><instruction text="namespace http://mathhub.info/FrameIT/frameworld/integrationtests"/><instruction text="import frameworld http://mathhub.info/FrameIT/frameworld"/><instruction text="fixmeta http://mathhub.info/FrameIT/frameworld?FrameworldMeta"/><mref name="[http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace]" target="http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/IntegrationTests/SituationTheory.mmt#194.6.0:220.6.26"/></metadata></mref><mref name="[http://mathhub.info/FrameIT/frameworld/integrationtests?MyScroll]" target="http://mathhub.info/FrameIT/frameworld/integrationtests?MyScroll"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/IntegrationTests/SituationTheory.mmt#1535.56.0:1549.56.14"/></metadata></mref><mref name="[http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace]" target="http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/IntegrationTests/SituationTheory.mmt#1661.64.0:1681.64.20"/></metadata></mref></omdoc>
\ No newline at end of file
+<omdoc base="http://mathhub.info/FrameIT/frameworld/IntegrationTests/SituationTheory.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/IntegrationTests/SituationTheory.mmt#0.0.0:2102.84.0"/><meta property="http://cds.omdoc.org/?metadata?importedby"><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMLIT type="http://www.openmath.org/cd?OpenMath?OMSTR" value="mmt-omdoc"/></om:OMOBJ></meta></metadata><instruction text="namespace http://mathhub.info/FrameIT/frameworld/integrationtests"/><instruction text="import frameworld http://mathhub.info/FrameIT/frameworld"/><instruction text="fixmeta http://mathhub.info/FrameIT/frameworld?FrameworldMeta"/><mref name="[http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace]" target="http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/IntegrationTests/SituationTheory.mmt#194.6.0:220.6.26"/></metadata></mref><mref name="[http://mathhub.info/FrameIT/frameworld/integrationtests?MyScroll]" target="http://mathhub.info/FrameIT/frameworld/integrationtests?MyScroll"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/IntegrationTests/SituationTheory.mmt#1535.56.0:1549.56.14"/></metadata></mref><mref name="[http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace]" target="http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/IntegrationTests/SituationTheory.mmt#1661.64.0:1681.64.20"/></metadata></mref></omdoc>
\ No newline at end of file
diff --git a/relational/.rel b/relational/.rel
index 950a8a88c83a9283032be5ed5e2e0f6d8891a14e..d7f76b785e09562249d732e52a57a6d2c49cb5e9 100644
--- a/relational/.rel
+++ b/relational/.rel
@@ -1,4 +1,5 @@
 document http://mathhub.info/FrameIT/frameworld
+Declares http://mathhub.info/FrameIT/frameworld http://mathhub.info/FrameIT/frameworld/DefaultSituationSpace.omdoc
 Declares http://mathhub.info/FrameIT/frameworld http://mathhub.info/FrameIT/frameworld/IntegrationTests
 Declares http://mathhub.info/FrameIT/frameworld http://mathhub.info/FrameIT/frameworld/Library
 Declares http://mathhub.info/FrameIT/frameworld http://mathhub.info/FrameIT/frameworld/MetaTheories.omdoc
diff --git a/relational/http..mathhub.info/FrameIT/frameworld/integrationtests/$Situation$Space.rel b/relational/http..mathhub.info/FrameIT/frameworld/integrationtests/$Situation$Space.rel
index 8b3bcb8c4742cb1f405622d6a1cd2219bb6fe45a..1a4992d2a0ec3dbfa135456dfa9e0b8f950f7d52 100644
--- a/relational/http..mathhub.info/FrameIT/frameworld/integrationtests/$Situation$Space.rel
+++ b/relational/http..mathhub.info/FrameIT/frameworld/integrationtests/$Situation$Space.rel
@@ -6,6 +6,12 @@ HasMeta http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/R
 Includes http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/RootSituationTheory http://mathhub.info/FrameIT/frameworld/integrationtests?MyScroll
 Declares http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/RootSituationTheory http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/RootSituationTheory?b
 constant http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/RootSituationTheory?b
+Declares http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/RootSituationTheory http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/RootSituationTheory?p
+constant http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/RootSituationTheory?p
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/RootSituationTheory?p?type http://mathhub.info/MitM/core/geometry?3DGeometry?point?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/RootSituationTheory?p?type http://mathhub.info/MitM/core/geometry?3DGeometry?point?definition
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/RootSituationTheory?p?definition http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/RootSituationTheory?p?definition http://mathhub.info/MitM/core/geometry?3DGeometry?point?definition
 Declares http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/RootSituationTheory http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/RootSituationTheory?v
 HasDomain http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/RootSituationTheory/v http://mathhub.info/FrameIT/frameworld/integrationtests?MyScroll/Problem
 HasCodomain http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/RootSituationTheory/v http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/RootSituationTheory
@@ -20,4 +26,17 @@ HasMeta http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/P
 Includes http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/PushedOutSituationTheory http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/RootSituationTheory
 Declares http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/PushedOutSituationTheory http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/PushedOutSituationTheory?c
 constant http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/PushedOutSituationTheory?c
-DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/PushedOutSituationTheory?c?definition http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/RootSituationTheory?b?type
+Declares http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/PushedOutSituationTheory http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/PushedOutSituationTheory?q
+constant http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/PushedOutSituationTheory?q
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/PushedOutSituationTheory?q?type http://mathhub.info/MitM/core/geometry?3DGeometry?point?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/PushedOutSituationTheory?q?type http://mathhub.info/MitM/core/geometry?3DGeometry?point?definition
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/PushedOutSituationTheory?q?definition http://mathhub.info/MitM/core/geometry?3DGeometry?point?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/PushedOutSituationTheory?q?definition http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/RootSituationTheory?p?type
+Declares http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/PushedOutSituationTheory http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/PushedOutSituationTheory?w
+HasDomain http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/PushedOutSituationTheory/w http://mathhub.info/FrameIT/frameworld/integrationtests?MyScroll/Problem
+HasCodomain http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/PushedOutSituationTheory/w http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/PushedOutSituationTheory
+view http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/PushedOutSituationTheory/w
+HasViewFrom http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/PushedOutSituationTheory http://mathhub.info/FrameIT/frameworld/integrationtests?MyScroll/Problem
+Declares http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/PushedOutSituationTheory/w http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/PushedOutSituationTheory/w?[http://mathhub.info/FrameIT/frameworld/integrationtests?MyScroll/Problem]/a
+constant http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/PushedOutSituationTheory/w?[http://mathhub.info/FrameIT/frameworld/integrationtests?MyScroll/Problem]/a
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/PushedOutSituationTheory/w?[http://mathhub.info/FrameIT/frameworld/integrationtests?MyScroll/Problem]/a?definition http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/PushedOutSituationTheory?c?type
diff --git a/relational/http..mathhub.info/LoViVo/gearbox/cogwheels.rel b/relational/http..mathhub.info/LoViVo/gearbox/cogwheels.rel
index 18715a350767df6634ca85bd70e0bd8e1b0146c5..3aa05d239ee890672ec53103c74d83e0547f72e8 100644
--- a/relational/http..mathhub.info/LoViVo/gearbox/cogwheels.rel
+++ b/relational/http..mathhub.info/LoViVo/gearbox/cogwheels.rel
@@ -21,6 +21,9 @@ constant http://mathhub.info/LoViVo/gearbox?cogwheels/cogwheel_theory?angle
 DependsOn http://mathhub.info/LoViVo/gearbox?cogwheels/cogwheel_theory?angle?type http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
 Declares http://mathhub.info/LoViVo/gearbox?cogwheels http://mathhub.info/LoViVo/gearbox?cogwheels?cogwheel
 constant http://mathhub.info/LoViVo/gearbox?cogwheels?cogwheel
+DependsOn http://mathhub.info/LoViVo/gearbox?cogwheels?cogwheel?definition http://mathhub.info/MitM/Foundation?NatLiterals?nat_lit?definition
+DependsOn http://mathhub.info/LoViVo/gearbox?cogwheels?cogwheel?definition http://mathhub.info/MitM/Foundation?NatLiterals?nat_lit?type
+DependsOn http://mathhub.info/LoViVo/gearbox?cogwheels?cogwheel?definition http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
 Declares http://mathhub.info/LoViVo/gearbox?cogwheels http://mathhub.info/LoViVo/gearbox?cogwheels?rotating_cogwheel_theory
 theory http://mathhub.info/LoViVo/gearbox?cogwheels/rotating_cogwheel_theory
 HasMeta http://mathhub.info/LoViVo/gearbox?cogwheels/rotating_cogwheel_theory http://mathhub.info/MitM/Foundation?Logic
@@ -33,3 +36,6 @@ constant http://mathhub.info/LoViVo/gearbox?cogwheels/rotating_cogwheel_theory?a
 DependsOn http://mathhub.info/LoViVo/gearbox?cogwheels/rotating_cogwheel_theory?angular_force?type http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
 Declares http://mathhub.info/LoViVo/gearbox?cogwheels http://mathhub.info/LoViVo/gearbox?cogwheels?rotating_cogwheel
 constant http://mathhub.info/LoViVo/gearbox?cogwheels?rotating_cogwheel
+DependsOn http://mathhub.info/LoViVo/gearbox?cogwheels?rotating_cogwheel?definition http://mathhub.info/MitM/Foundation?NatLiterals?nat_lit?definition
+DependsOn http://mathhub.info/LoViVo/gearbox?cogwheels?rotating_cogwheel?definition http://mathhub.info/MitM/Foundation?NatLiterals?nat_lit?type
+DependsOn http://mathhub.info/LoViVo/gearbox?cogwheels?rotating_cogwheel?definition http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
diff --git a/relational/http..mathhub.info/LoViVo/gearbox/gb2.rel b/relational/http..mathhub.info/LoViVo/gearbox/gb2.rel
index ee58104abfa6e6176a7d8aa8ac9c944767d2b1b2..9eec5e1a8a588435994a704fe7c057710e4aa454 100644
--- a/relational/http..mathhub.info/LoViVo/gearbox/gb2.rel
+++ b/relational/http..mathhub.info/LoViVo/gearbox/gb2.rel
@@ -15,11 +15,6 @@ Declares http://mathhub.info/LoViVo/gearbox?gb2 http://mathhub.info/LoViVo/gearb
 constant http://mathhub.info/LoViVo/gearbox?gb2?c2
 DependsOn http://mathhub.info/LoViVo/gearbox?gb2?c2?type http://mathhub.info/LoViVo/gearbox?cogwheels?cogwheel?type
 DependsOn http://mathhub.info/LoViVo/gearbox?gb2?c2?type http://mathhub.info/LoViVo/gearbox?cogwheels?cogwheel?definition
-DependsOn http://mathhub.info/LoViVo/gearbox?gb2?c2?definition http://mathhub.info/MitM/Foundation?NatLiterals?nat_lit?type
-DependsOn http://mathhub.info/LoViVo/gearbox?gb2?c2?definition http://cds.omdoc.org/urtheories?NatSymbols?NAT?type
-DependsOn http://mathhub.info/LoViVo/gearbox?gb2?c2?definition http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
-DependsOn http://mathhub.info/LoViVo/gearbox?gb2?c2?definition http://mathhub.info/MitM/Foundation?NatLiterals?pos_lit?type
-DependsOn http://mathhub.info/LoViVo/gearbox?gb2?c2?definition http://mathhub.info/LoViVo/gearbox?cogwheels?cogwheel?definition
 Declares http://mathhub.info/LoViVo/gearbox?gb2 http://mathhub.info/LoViVo/gearbox?gb2?proof_interlocking
 constant http://mathhub.info/LoViVo/gearbox?gb2?proof_interlocking
 DependsOn http://mathhub.info/LoViVo/gearbox?gb2?proof_interlocking?type http://mathhub.info/MitM/Foundation?Logic?prop?type
diff --git a/relational/http..mathhub.info/LoViVo/gearbox/gearbox.rel b/relational/http..mathhub.info/LoViVo/gearbox/gearbox.rel
index 9c1f4a34791a6a2b580541b74f569256f4f0aa57..ef6aadb1478ef6a41dbc6ec2145e273b07acd2ef 100644
--- a/relational/http..mathhub.info/LoViVo/gearbox/gearbox.rel
+++ b/relational/http..mathhub.info/LoViVo/gearbox/gearbox.rel
@@ -35,9 +35,11 @@ DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?coaxial_cogwheels?type http
 DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?coaxial_cogwheels?type http://mathhub.info/MitM/Foundation?Logic?implies?type
 DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?coaxial_cogwheels?type http://mathhub.info/MitM/Foundation?Logic?forall?type
 DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?coaxial_cogwheels?type http://mathhub.info/MitM/Foundation?Logic?ded?type
+DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?coaxial_cogwheels?type http://mathhub.info/MitM/Foundation?NatLiterals?nat_lit?definition
 DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?coaxial_cogwheels?type http://mathhub.info/MitM/Foundation?Logic?prop?type
 DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?coaxial_cogwheels?type http://mathhub.info/MitM/Foundation?Logic?prop?definition
 DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?coaxial_cogwheels?type http://mathhub.info/MitM/Foundation?Logic?ded?definition
+DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?coaxial_cogwheels?type http://mathhub.info/MitM/Foundation?NatLiterals?nat_lit?type
 DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?coaxial_cogwheels?type http://mathhub.info/LoViVo/gearbox?cogwheels?rotating_cogwheel?type
 DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?coaxial_cogwheels?type http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
 DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?coaxial_cogwheels?type http://mathhub.info/MitM/Foundation?Logic?eq?type
diff --git a/relational/http..mathhub.info/LoViVo/gearbox/temp.rel b/relational/http..mathhub.info/LoViVo/gearbox/temp.rel
index 7b51cc248325726aa705dc2ef42067ee49ec1439..18ae45a45e9c0e4dd4307e6319d2974d762757da 100644
--- a/relational/http..mathhub.info/LoViVo/gearbox/temp.rel
+++ b/relational/http..mathhub.info/LoViVo/gearbox/temp.rel
@@ -6,18 +6,3 @@ Includes http://mathhub.info/LoViVo/gearbox?temp http://mathhub.info/MitM/Founda
 Declares http://mathhub.info/LoViVo/gearbox?temp http://mathhub.info/LoViVo/gearbox?temp?dist
 constant http://mathhub.info/LoViVo/gearbox?temp?dist
 DependsOn http://mathhub.info/LoViVo/gearbox?temp?dist?type http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
-DependsOn http://mathhub.info/LoViVo/gearbox?temp?dist?definition http://mathhub.info/MitM/Foundation?Logic?prop?type
-DependsOn http://mathhub.info/LoViVo/gearbox?temp?dist?definition http://mathhub.info/MitM/Foundation?Logic?exists_unique?type
-DependsOn http://mathhub.info/LoViVo/gearbox?temp?dist?definition http://mathhub.info/MitM/Foundation?Logic?ded?definition
-DependsOn http://mathhub.info/LoViVo/gearbox?temp?dist?definition http://mathhub.info/MitM/Foundation?NatLiterals?nat_lit?type
-DependsOn http://mathhub.info/LoViVo/gearbox?temp?dist?definition http://mathhub.info/MitM/Foundation?Logic?exists_unique?definition
-DependsOn http://mathhub.info/LoViVo/gearbox?temp?dist?definition http://mathhub.info/MitM/core/arithmetics?RealArithmetics?squareRoot?type
-DependsOn http://mathhub.info/LoViVo/gearbox?temp?dist?definition http://mathhub.info/MitM/Foundation?NatLiterals?pos_lit?type
-DependsOn http://mathhub.info/LoViVo/gearbox?temp?dist?definition http://mathhub.info/MitM/Foundation?Logic?eq?type
-DependsOn http://mathhub.info/LoViVo/gearbox?temp?dist?definition http://cds.omdoc.org/urtheories?Bool?BOOL?type
-DependsOn http://mathhub.info/LoViVo/gearbox?temp?dist?definition http://mathhub.info/MitM/core/arithmetics?RealArithmetics?exponentiation?type
-DependsOn http://mathhub.info/LoViVo/gearbox?temp?dist?definition http://mathhub.info/MitM/Foundation?Logic?ded?type
-DependsOn http://mathhub.info/LoViVo/gearbox?temp?dist?definition http://mathhub.info/MitM/Foundation?Logic?ImplicitProof?type
-DependsOn http://mathhub.info/LoViVo/gearbox?temp?dist?definition http://mathhub.info/MitM/Foundation?Logic?prop?definition
-DependsOn http://mathhub.info/LoViVo/gearbox?temp?dist?definition http://mathhub.info/MitM/core/arithmetics?RealArithmetics?subtraction?type
-DependsOn http://mathhub.info/LoViVo/gearbox?temp?dist?definition http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type