new fact

source/MetaTheories.mmt

@@ -120,6 +120,7 @@ theory FrameITRectangles =
         // TODO maybe delete ❙
 
         rectangle_type : type ❘ # rect ❙
+        testPoint_type : type ❘ # testPoint ❙
 
         mkRectangle :  { A: point , B : point, C : point  , D : point } ( ⊦ isRect A B C D ) ⟶  rect ❘ # mkRect 1 2 3 4 5 ❙
         cornerA : rect ⟶ point  ❘ # rectA 1 ❙