feat: better labels

...http..mathhub.info/FrameIT/frameworld/$Angle$Sum.omdoc.xz

...mathhub.info/FrameIT/frameworld/$Frameworld$Meta.omdoc.xz

...athhub.info/FrameIT/frameworld/$Meta$Annotations.omdoc.xz

...p..mathhub.info/FrameIT/frameworld/$Opposite$Len.omdoc.xz

...ub.info/FrameIT/frameworld/$Supplementary$Angles.omdoc.xz

...eIT/frameworld/$Triangle$Scroll_$General$Problem.omdoc.xz

...rameworld/$Triangle$Scroll_$Right$Angled$Problem.omdoc.xz

...orld/integrationtests/$Close$Gaps$Test_$Codomain.omdoc.xz

...integrationtests/$Close$Gaps$Test_$Terms$Notepad.omdoc.xz

...d/integrationtests/$Expected$Type$Test_$Codomain.omdoc.xz

...rld/integrationtests/$Expected$Type$Test_$Domain.omdoc.xz

...eworld/integrationtests/$Sample$Situation$Theory.omdoc.xz

...rameworld/integrationtests/$Theory$Parameter$Bug.omdoc.xz

content/http..mathhub.info/LoViVo/gearbox/gearbox.omdoc.xz

errors/mmt-omdoc/IntegrationTests/ExpectedTypeTests.mmt.err

errors/mmt-omdoc/IntegrationTests/SituationTheory.mmt.err

errors/mmt-omdoc/IntegrationTests/thy-parameter-bug.mmt.err

errors/mmt-omdoc/MetaTheories.mmt.err

errors/mmt-omdoc/Scrolls/TriangleScrolls.mmt.err

narration/MetaTheories.omdoc