Split TypeConstruction into MeasureOps, TypeBuilders, TypeAbbreviations, TypeDecomposition

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

Author: T-Gro

src/Compiler/TypedTree/TypedTreeOps.Remap.fs

@@ -505,7 +505,7 @@ module internal TypeRemapping =
     let mkTyconRefInst (tcref: TyconRef) tinst = mkTyconInst tcref.Deref tinst
 
 [<AutoOpen>]
-module internal TypeConstruction =
+module internal MeasureOps =
 
     //---------------------------------------------------------------------------
     // Basic equalities
@@ -727,6 +727,9 @@ module internal TypeConstruction =
             | _ -> ty
         | _ -> ty
 
+[<AutoOpen>]
+module internal TypeBuilders =
+
     //---------------------------------------------------------------------------
     // Some basic type builders
     //---------------------------------------------------------------------------
@@ -869,6 +872,9 @@ module internal TypeConstruction =
                 TType_app(tcref, tysA @ [ marker ], g.knownWithoutNull)
             | _ -> TType_app(tcref, tysA @ [ TType_tuple(mkTupInfo isStruct, tysB) ], g.knownWithoutNull)
 
+[<AutoOpen>]
+module internal TypeAbbreviations =
+
     //---------------------------------------------------------------------------
     // Remove inference equations and abbreviations from types
     //---------------------------------------------------------------------------
@@ -908,6 +914,9 @@ module internal TypeConstruction =
     let reduceTyconRefMeasureableOrProvided (g: TcGlobals) (tcref: TyconRef) tyargs =
         reduceTyconMeasureableOrProvided g tcref.Deref tyargs
 
+[<AutoOpen>]
+module internal TypeDecomposition =
+
     let rec stripTyEqnsA g canShortcut ty =
         let ty = stripTyparEqnsAux KnownWithoutNull canShortcut ty
 

src/Compiler/TypedTree/TypedTreeOps.Remap.fsi

@@ -200,7 +200,7 @@ module internal TypeRemapping =
     val mkTyconRefInst: TyconRef -> TypeInst -> TyparInstantiation
 
 [<AutoOpen>]
-module internal TypeConstruction =
+module internal MeasureOps =
 
     /// Equality for type definition references
     val tyconRefEq: TcGlobals -> TyconRef -> TyconRef -> bool
@@ -244,6 +244,9 @@ module internal TypeConstruction =
 
     val tryNormalizeMeasureInType: TcGlobals -> TType -> TType
 
+[<AutoOpen>]
+module internal TypeBuilders =
+
     val mkForallTy: Typars -> TType -> TType
 
     /// Build a type-forall anonymous generic type if necessary
@@ -299,6 +302,9 @@ module internal TypeConstruction =
     /// Convert from F# tuple types to .NET tuple types, but only the outermost level
     val mkOuterCompiledTupleTy: TcGlobals -> bool -> TTypes -> TType
 
+[<AutoOpen>]
+module internal TypeAbbreviations =
+
     val applyTyconAbbrev: TType -> Tycon -> TypeInst -> TType
 
     val reduceTyconAbbrev: Tycon -> TypeInst -> TType
@@ -309,6 +315,9 @@ module internal TypeConstruction =
 
     val reduceTyconRefMeasureableOrProvided: TcGlobals -> TyconRef -> TypeInst -> TType
 
+[<AutoOpen>]
+module internal TypeDecomposition =
+
     val stripTyEqnsA: TcGlobals -> canShortcut: bool -> TType -> TType
 
     val stripTyEqns: TcGlobals -> TType -> TType