type-plus 3.12.0 → 3.13.1

package/lib/types/required.d.ts

@@ -1,90 +1,86 @@
 export declare const required: {
-    any: import("./types").Type<"any", undefined>;
-    array: import("./types").Type<"array", any> & {
-        any: import("./types").Type<"array", any>;
-        create: <Value extends import("./AllType").AllType>(value: Value) => import("./types").Type<"array", Value>;
-        optional: import("./types").Type<"union", [import("./types").Type<"array", any>, import("./types").Type<"undefined", undefined>]> & {
-            create<Value_1 extends import("./AllType").AllType>(value: Value_1): import("./types").Type<"union", [import("./types").Type<"array", Value_1>, import("./types").Type<"undefined", undefined>]>;
+    any: import("./Any").Any;
+    array: import("./Array").Array<any> & {
+        any: import("./Array").Array<any>;
+        create: <Value extends import("./AllType").AllType>(value: Value) => import("./Array").Array<Value>;
+        optional: import("./Union").Union<[import("./Array").Array<any>, import("./Undefined").Undefined]> & {
+            create<Value_1 extends import("./AllType").AllType>(value: Value_1): import("./Union").Union<[import("./Array").Array<Value_1>, import("./Undefined").Undefined]>;
         };
-        unknown: import("./types").Type<"array", import("./types").Type<"unknown", undefined>>;
+        unknown: import("./Array").Array<import("./Unknown").Unknown>;
     };
-    boolean: import("./types").Type<"boolean", boolean> & {
-        any: import("./types").Type<"boolean", boolean>;
-        true: import("./types").Type<"boolean", true>;
-        false: import("./types").Type<"boolean", false>;
-        create: <Value_2 extends boolean>(value: Value_2) => import("./types").Type<"boolean", Value_2>;
-        optional: import("./types").Type<"union", [import("./types").Type<"boolean", boolean>, import("./types").Type<"undefined", undefined>]> & {
-            create<Value_3 extends boolean>(value: Value_3): import("./types").Type<"union", [import("./types").Type<"boolean", Value_3>, import("./types").Type<"undefined", undefined>]>;
-            true: import("./types").Type<"union", [import("./types").Type<"boolean", true>, import("./types").Type<"undefined", undefined>]>;
-            false: import("./types").Type<"union", [import("./types").Type<"boolean", false>, import("./types").Type<"undefined", undefined>]>;
+    boolean: import("./Boolean").Boolean<boolean> & {
+        any: import("./Boolean").Boolean<boolean>;
+        true: import("./Boolean").Boolean<true>;
+        false: import("./Boolean").Boolean<false>;
+        create: <Value_2 extends boolean>(value: Value_2) => import("./Boolean").Boolean<Value_2>;
+        optional: import("./Union").Union<[import("./Boolean").Boolean<boolean>, import("./Undefined").Undefined]> & {
+            create<Value_3 extends boolean>(value: Value_3): import("./Union").Union<[import("./Boolean").Boolean<Value_3>, import("./Undefined").Undefined]>;
+            true: import("./Union").Union<[import("./Boolean").Boolean<true>, import("./Undefined").Undefined]>;
+            false: import("./Union").Union<[import("./Boolean").Boolean<false>, import("./Undefined").Undefined]>;
         };
     };
-    null: import("./types").Type<"null", undefined> & {
-        optional: import("./types").Type<"union", [import("./types").Type<"null", undefined>, import("./types").Type<"undefined", undefined>]>;
+    null: import("./Null").Null & {
+        optional: import("./Union").Union<[import("./Null").Null, import("./Undefined").Undefined]>;
     };
-    number: import("./types").Type<"number", number> & {
-        any: import("./types").Type<"number", number>;
-        create: <Value_4 extends number>(value: Value_4) => import("./types").Type<"number", Value_4>;
-        list<Value_5 extends number, Values extends number[]>(value: Value_5, ...values: Values): import("./types").Type<"union", ([Value_5, ...Values]["length"] extends 0 ? {
+    number: import("./Number").Number<number> & {
+        any: import("./Number").Number<number>;
+        create: <Value_4 extends number>(value: Value_4) => import("./Number").Number<Value_4>;
+        list<Value_5 extends number, Values extends number[]>(value: Value_5, ...values: Values): import("./Union").Union<([Value_5, ...Values]["length"] extends 0 ? {
             result: [];
         } : [Value_5, ...Values]["length"] extends 1 ? {
-            result: [import("./types").Type<"number", Value_5>];
+            result: [import("./Number").Number<Value_5>];
         } : {
-            result: [import("./types").Type<"number", Value_5>, import("./types").Type<"number", [Value_5, ...Values][1]>, ...(import("..").Tail<import("..").Tail<[Value_5, ...Values]>>["length"] extends 0 ? {
+            result: [import("./Number").Number<Value_5>, import("./Number").Number<[Value_5, ...Values][1]>, ...(import("..").Tail<import("..").Tail<[Value_5, ...Values]>>["length"] extends 0 ? {
                 result: [];
             } : import("..").Tail<import("..").Tail<[Value_5, ...Values]>>["length"] extends 1 ? {
-                result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<[Value_5, ...Values]>>[0]>];
+                result: [import("./Number").Number<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>[0]>];
             } : {
-                result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<[Value_5, ...Values]>>[0]>, import("./types").Type<"number", import("..").Tail<import("..").Tail<[Value_5, ...Values]>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>["length"] extends 0 ? {
+                result: [import("./Number").Number<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>[0]>, import("./Number").Number<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>["length"] extends 0 ? {
                     result: [];
                 } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>["length"] extends 1 ? {
-                    result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>[0]>];
+                    result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>[0]>];
                 } : {
-                    result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>[0]>, import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>["length"] extends 0 ? {
+                    result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>[0]>, import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>["length"] extends 0 ? {
                         result: [];
                     } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>["length"] extends 1 ? {
-                        result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>[0]>];
+                        result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>[0]>];
                     } : {
-                        result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>[0]>, import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>["length"] extends 0 ? {
+                        result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>[0]>, import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>["length"] extends 0 ? {
                             result: [];
                         } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>["length"] extends 1 ? {
-                            result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>[0]>];
+                            result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>[0]>];
                         } : {
-                            result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>[0]>, import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>["length"] extends 0 ? {
+                            result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>[0]>, import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>["length"] extends 0 ? {
                                 result: [];
                             } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>["length"] extends 1 ? {
-                                result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>[0]>];
+                                result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>[0]>];
                             } : {
-                                result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>[0]>, import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>["length"] extends 0 ? {
+                                result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>[0]>, import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>["length"] extends 0 ? {
                                     result: [];
                                 } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>["length"] extends 1 ? {
-                                    result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>[0]>];
+                                    result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>[0]>];
                                 } : {
-                                    result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>[0]>, import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>["length"] extends 0 ? {
+                                    result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>[0]>, import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>["length"] extends 0 ? {
                                         result: [];
                                     } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>["length"] extends 1 ? {
-                                        result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>[0]>];
+                                        result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>[0]>];
                                     } : {
-                                        result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>[0]>, import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>>>["length"] extends 0 ? {
+                                        result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>[0]>, import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>>>["length"] extends 0 ? {
                                             result: [];
                                         } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>>>["length"] extends 1 ? {
-                                            result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>>>[0]>];
+                                            result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>>>[0]>];
                                         } : {
-                                            result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>>>[0]>, import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>>>>>["length"] extends 0 ? {
+                                            result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>>>[0]>, import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>>>>>["length"] extends 0 ? {
                                                 result: [];
                                             } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>>>>>["length"] extends 1 ? {
-                                                result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>>>>>[0]>];
+                                                result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>>>>>[0]>];
                                             } : {
-                                                result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>>>>>[0]>, import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>>>>>>>["length"] extends 0 ? {
+                                                result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>>>>>[0]>, import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>>>>>>>["length"] extends 0 ? {
                                                     result: [];
                                                 } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>>>>>>>["length"] extends 1 ? {
-                                                    result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>>>>>>>[0]>];
+                                                    result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>>>>>>>[0]>];
                                                 } : {
-                                                    result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>>>>>>>[0]>, import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>>>>>>>>>["length"] extends 0 ? {
-                                                        result: [];
-                                                    } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>>>>>>>>>["length"] extends 1 ? {
-                                                        result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>>>>>>>>>[0]>];
-                                                    } : any)["result"]];
+                                                    result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>>>>>>>[0]>, import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>>>>>>>[1]>, ...any["result"]];
                                                 })["result"]];
                                             })["result"]];
                                         })["result"]];
@@ -96,68 +92,64 @@ export declare const required: {
                 })["result"]];
             })["result"]];
         })["result"]>;
-        optional: import("./types").Type<"union", [import("./types").Type<"number", number>, import("./types").Type<"undefined", undefined>]> & {
-            create<Value_6 extends number>(value: Value_6): import("./types").Type<"union", [import("./types").Type<"number", Value_6>, import("./types").Type<"undefined", undefined>]>;
-            list<Value_7 extends number, Values_1 extends number[]>(value: Value_7, ...values: Values_1): import("./types").Type<"union", [...([Value_7, ...Values_1]["length"] extends 0 ? {
+        optional: import("./Union").Union<[import("./Number").Number<number>, import("./Undefined").Undefined]> & {
+            create<Value_6 extends number>(value: Value_6): import("./Union").Union<[import("./Number").Number<Value_6>, import("./Undefined").Undefined]>;
+            list<Value_7 extends number, Values_1 extends number[]>(value: Value_7, ...values: Values_1): import("./Union").Union<[...([Value_7, ...Values_1]["length"] extends 0 ? {
                 result: [];
             } : [Value_7, ...Values_1]["length"] extends 1 ? {
-                result: [import("./types").Type<"number", Value_7>];
+                result: [import("./Number").Number<Value_7>];
             } : {
-                result: [import("./types").Type<"number", Value_7>, import("./types").Type<"number", [Value_7, ...Values_1][1]>, ...(import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>["length"] extends 0 ? {
+                result: [import("./Number").Number<Value_7>, import("./Number").Number<[Value_7, ...Values_1][1]>, ...(import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>["length"] extends 0 ? {
                     result: [];
                 } : import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>["length"] extends 1 ? {
-                    result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>[0]>];
+                    result: [import("./Number").Number<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>[0]>];
                 } : {
-                    result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>[0]>, import("./types").Type<"number", import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>["length"] extends 0 ? {
+                    result: [import("./Number").Number<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>[0]>, import("./Number").Number<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>["length"] extends 0 ? {
                         result: [];
                     } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>["length"] extends 1 ? {
-                        result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>[0]>];
+                        result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>[0]>];
                     } : {
-                        result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>[0]>, import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>["length"] extends 0 ? {
+                        result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>[0]>, import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>["length"] extends 0 ? {
                             result: [];
                         } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>["length"] extends 1 ? {
-                            result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>[0]>];
+                            result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>[0]>];
                         } : {
-                            result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>[0]>, import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>["length"] extends 0 ? {
+                            result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>[0]>, import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>["length"] extends 0 ? {
                                 result: [];
                             } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>["length"] extends 1 ? {
-                                result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>[0]>];
+                                result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>[0]>];
                             } : {
-                                result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>[0]>, import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>["length"] extends 0 ? {
+                                result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>[0]>, import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>["length"] extends 0 ? {
                                     result: [];
                                 } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>["length"] extends 1 ? {
-                                    result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>[0]>];
+                                    result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>[0]>];
                                 } : {
-                                    result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>[0]>, import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>["length"] extends 0 ? {
+                                    result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>[0]>, import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>["length"] extends 0 ? {
                                         result: [];
                                     } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>["length"] extends 1 ? {
-                                        result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>[0]>];
+                                        result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>[0]>];
                                     } : {
-                                        result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>[0]>, import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>["length"] extends 0 ? {
+                                        result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>[0]>, import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>["length"] extends 0 ? {
                                             result: [];
                                         } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>["length"] extends 1 ? {
-                                            result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>[0]>];
+                                            result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>[0]>];
                                         } : {
-                                            result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>[0]>, import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>>>["length"] extends 0 ? {
+                                            result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>[0]>, import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>>>["length"] extends 0 ? {
                                                 result: [];
                                             } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>>>["length"] extends 1 ? {
-                                                result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>>>[0]>];
+                                                result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>>>[0]>];
                                             } : {
-                                                result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>>>[0]>, import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>>>>>["length"] extends 0 ? {
+                                                result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>>>[0]>, import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>>>>>["length"] extends 0 ? {
                                                     result: [];
                                                 } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>>>>>["length"] extends 1 ? {
-                                                    result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>>>>>[0]>];
+                                                    result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>>>>>[0]>];
                                                 } : {
-                                                    result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>>>>>[0]>, import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>>>>>>>["length"] extends 0 ? {
+                                                    result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>>>>>[0]>, import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>>>>>>>["length"] extends 0 ? {
                                                         result: [];
                                                     } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>>>>>>>["length"] extends 1 ? {
-                                                        result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>>>>>>>[0]>];
+                                                        result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>>>>>>>[0]>];
                                                     } : {
-                                                        result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>>>>>>>[0]>, import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>>>>>>>>>["length"] extends 0 ? {
-                                                            result: [];
-                                                        } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>>>>>>>>>["length"] extends 1 ? {
-                                                            result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>>>>>>>>>[0]>];
-                                                        } : any)["result"]];
+                                                        result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>>>>>>>[0]>, import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>>>>>>>[1]>, ...any["result"]];
                                                     })["result"]];
                                                 })["result"]];
                                             })["result"]];
@@ -168,86 +160,82 @@ export declare const required: {
                         })["result"]];
                     })["result"]];
                 })["result"]];
-            })["result"], import("./types").Type<"undefined", undefined>]>;
+            })["result"], import("./Undefined").Undefined]>;
         };
     };
-    object: import("./types").Type<"object", any> & {
-        any: import("./types").Type<"object", any>;
-        create: <Props extends Record<string, import("./AllType").AllType>>(props: Props) => import("./types").Type<"object", Props>;
+    object: import("./Object").ObjectType<any> & {
+        any: import("./Object").ObjectType<any>;
+        create: <Props extends Record<string, import("./AllType").AllType>>(props: Props) => import("./Object").ObjectType<Props>;
         map: typeof import("./Object").map;
-        optional: import("./types").Type<"union", [import("./types").Type<"object", any>, import("./types").Type<"undefined", undefined>]> & {
-            create<Props_1 extends Record<string, import("./AllType").AllType>>(props: Props_1): import("./types").Type<"union", [import("./types").Type<"object", Props_1>, import("./types").Type<"undefined", undefined>]>;
+        optional: import("./Union").Union<[import("./Object").ObjectType<any>, import("./Undefined").Undefined]> & {
+            create<Props_1 extends Record<string, import("./AllType").AllType>>(props: Props_1): import("./Union").Union<[import("./Object").ObjectType<Props_1>, import("./Undefined").Undefined]>;
         };
     };
     record: {
-        create: <Value_8 extends import("./AllType").AllType>(value: Value_8) => import("./types").Type<"record", Value_8>;
+        create: <Value_8 extends import("./AllType").AllType>(value: Value_8) => import("./Record").Record<Value_8>;
         optional: {
-            create<Value_9 extends import("./AllType").AllType>(value: Value_9): import("./types").Type<"union", [import("./types").Type<"record", Value_9>, import("./types").Type<"undefined", undefined>]>;
+            create<Value_9 extends import("./AllType").AllType>(value: Value_9): import("./Union").Union<[import("./Record").Record<Value_9>, import("./Undefined").Undefined]>;
         };
     };
-    string: import("./types").Type<"string", string> & {
-        any: import("./types").Type<"string", string>;
-        create: <Value_10 extends string>(value: Value_10) => import("./types").Type<"string", Value_10>;
-        list<Value_11 extends string, Values_2 extends string[]>(value: Value_11, ...values: Values_2): import("./types").Type<"union", ([Value_11, ...Values_2]["length"] extends 0 ? {
+    string: import("./String").String<string> & {
+        any: import("./String").String<string>;
+        create: <Value_10 extends string>(value: Value_10) => import("./String").String<Value_10>;
+        list<Value_11 extends string, Values_2 extends string[]>(value: Value_11, ...values: Values_2): import("./Union").Union<([Value_11, ...Values_2]["length"] extends 0 ? {
             result: [];
         } : [Value_11, ...Values_2]["length"] extends 1 ? {
-            result: [import("./types").Type<"string", Value_11>];
+            result: [import("./String").String<Value_11>];
         } : {
-            result: [import("./types").Type<"string", Value_11>, import("./types").Type<"string", [Value_11, ...Values_2][1]>, ...(import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>["length"] extends 0 ? {
+            result: [import("./String").String<Value_11>, import("./String").String<[Value_11, ...Values_2][1]>, ...(import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>["length"] extends 0 ? {
                 result: [];
             } : import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>["length"] extends 1 ? {
-                result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>[0]>];
+                result: [import("./String").String<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>[0]>];
             } : {
-                result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>[0]>, import("./types").Type<"string", import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>["length"] extends 0 ? {
+                result: [import("./String").String<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>[0]>, import("./String").String<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>["length"] extends 0 ? {
                     result: [];
                 } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>["length"] extends 1 ? {
-                    result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>[0]>];
+                    result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>[0]>];
                 } : {
-                    result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>[0]>, import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>["length"] extends 0 ? {
+                    result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>[0]>, import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>["length"] extends 0 ? {
                         result: [];
                     } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>["length"] extends 1 ? {
-                        result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>[0]>];
+                        result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>[0]>];
                     } : {
-                        result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>[0]>, import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>["length"] extends 0 ? {
+                        result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>[0]>, import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>["length"] extends 0 ? {
                             result: [];
                         } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>["length"] extends 1 ? {
-                            result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>[0]>];
+                            result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>[0]>];
                         } : {
-                            result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>[0]>, import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>["length"] extends 0 ? {
+                            result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>[0]>, import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>["length"] extends 0 ? {
                                 result: [];
                             } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>["length"] extends 1 ? {
-                                result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>[0]>];
+                                result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>[0]>];
                             } : {
-                                result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>[0]>, import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>["length"] extends 0 ? {
+                                result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>[0]>, import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>["length"] extends 0 ? {
                                     result: [];
                                 } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>["length"] extends 1 ? {
-                                    result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>[0]>];
+                                    result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>[0]>];
                                 } : {
-                                    result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>[0]>, import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>["length"] extends 0 ? {
+                                    result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>[0]>, import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>["length"] extends 0 ? {
                                         result: [];
                                     } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>["length"] extends 1 ? {
-                                        result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>[0]>];
+                                        result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>[0]>];
                                     } : {
-                                        result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>[0]>, import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>>>["length"] extends 0 ? {
+                                        result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>[0]>, import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>>>["length"] extends 0 ? {
                                             result: [];
                                         } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>>>["length"] extends 1 ? {
-                                            result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>>>[0]>];
+                                            result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>>>[0]>];
                                         } : {
-                                            result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>>>[0]>, import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>>>>>["length"] extends 0 ? {
+                                            result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>>>[0]>, import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>>>>>["length"] extends 0 ? {
                                                 result: [];
                                             } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>>>>>["length"] extends 1 ? {
-                                                result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>>>>>[0]>];
+                                                result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>>>>>[0]>];
                                             } : {
-                                                result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>>>>>[0]>, import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>>>>>>>["length"] extends 0 ? {
+                                                result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>>>>>[0]>, import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>>>>>>>["length"] extends 0 ? {
                                                     result: [];
                                                 } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>>>>>>>["length"] extends 1 ? {
-                                                    result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>>>>>>>[0]>];
+                                                    result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>>>>>>>[0]>];
                                                 } : {
-                                                    result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>>>>>>>[0]>, import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>>>>>>>>>["length"] extends 0 ? {
-                                                        result: [];
-                                                    } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>>>>>>>>>["length"] extends 1 ? {
-                                                        result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>>>>>>>>>[0]>];
-                                                    } : any)["result"]];
+                                                    result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>>>>>>>[0]>, import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>>>>>>>[1]>, ...any["result"]];
                                                 })["result"]];
                                             })["result"]];
                                         })["result"]];
@@ -259,68 +247,64 @@ export declare const required: {
                 })["result"]];
             })["result"]];
         })["result"]>;
-        optional: import("./types").Type<"union", [import("./types").Type<"string", string>, import("./types").Type<"undefined", undefined>]> & {
-            create<Value_12 extends string>(value: Value_12): import("./types").Type<"union", [import("./types").Type<"string", Value_12>, import("./types").Type<"undefined", undefined>]>;
-            list<Value_13 extends string, Values_3 extends string[]>(value: Value_13, ...values: Values_3): import("./types").Type<"union", [...([Value_13, ...Values_3]["length"] extends 0 ? {
+        optional: import("./Union").Union<[import("./String").String<string>, import("./Undefined").Undefined]> & {
+            create<Value_12 extends string>(value: Value_12): import("./Union").Union<[import("./String").String<Value_12>, import("./Undefined").Undefined]>;
+            list<Value_13 extends string, Values_3 extends string[]>(value: Value_13, ...values: Values_3): import("./Union").Union<[...([Value_13, ...Values_3]["length"] extends 0 ? {
                 result: [];
             } : [Value_13, ...Values_3]["length"] extends 1 ? {
-                result: [import("./types").Type<"string", Value_13>];
+                result: [import("./String").String<Value_13>];
             } : {
-                result: [import("./types").Type<"string", Value_13>, import("./types").Type<"string", [Value_13, ...Values_3][1]>, ...(import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>["length"] extends 0 ? {
+                result: [import("./String").String<Value_13>, import("./String").String<[Value_13, ...Values_3][1]>, ...(import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>["length"] extends 0 ? {
                     result: [];
                 } : import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>["length"] extends 1 ? {
-                    result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>[0]>];
+                    result: [import("./String").String<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>[0]>];
                 } : {
-                    result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>[0]>, import("./types").Type<"string", import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>["length"] extends 0 ? {
+                    result: [import("./String").String<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>[0]>, import("./String").String<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>["length"] extends 0 ? {
                         result: [];
                     } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>["length"] extends 1 ? {
-                        result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>[0]>];
+                        result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>[0]>];
                     } : {
-                        result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>[0]>, import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>["length"] extends 0 ? {
+                        result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>[0]>, import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>["length"] extends 0 ? {
                             result: [];
                         } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>["length"] extends 1 ? {
-                            result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>[0]>];
+                            result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>[0]>];
                         } : {
-                            result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>[0]>, import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>["length"] extends 0 ? {
+                            result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>[0]>, import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>["length"] extends 0 ? {
                                 result: [];
                             } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>["length"] extends 1 ? {
-                                result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>[0]>];
+                                result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>[0]>];
                             } : {
-                                result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>[0]>, import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>["length"] extends 0 ? {
+                                result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>[0]>, import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>["length"] extends 0 ? {
                                     result: [];
                                 } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>["length"] extends 1 ? {
-                                    result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>[0]>];
+                                    result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>[0]>];
                                 } : {
-                                    result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>[0]>, import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>["length"] extends 0 ? {
+                                    result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>[0]>, import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>["length"] extends 0 ? {
                                         result: [];
                                     } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>["length"] extends 1 ? {
-                                        result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>[0]>];
+                                        result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>[0]>];
                                     } : {
-                                        result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>[0]>, import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>["length"] extends 0 ? {
+                                        result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>[0]>, import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>["length"] extends 0 ? {
                                             result: [];
                                         } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>["length"] extends 1 ? {
-                                            result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>[0]>];
+                                            result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>[0]>];
                                         } : {
-                                            result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>[0]>, import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>>>["length"] extends 0 ? {
+                                            result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>[0]>, import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>>>["length"] extends 0 ? {
                                                 result: [];
                                             } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>>>["length"] extends 1 ? {
-                                                result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>>>[0]>];
+                                                result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>>>[0]>];
                                             } : {
-                                                result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>>>[0]>, import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>>>>>["length"] extends 0 ? {
+                                                result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>>>[0]>, import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>>>>>["length"] extends 0 ? {
                                                     result: [];
                                                 } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>>>>>["length"] extends 1 ? {
-                                                    result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>>>>>[0]>];
+                                                    result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>>>>>[0]>];
                                                 } : {
-                                                    result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>>>>>[0]>, import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>>>>>>>["length"] extends 0 ? {
+                                                    result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>>>>>[0]>, import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>>>>>>>["length"] extends 0 ? {
                                                         result: [];
                                                     } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>>>>>>>["length"] extends 1 ? {
-                                                        result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>>>>>>>[0]>];
+                                                        result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>>>>>>>[0]>];
                                                     } : {
-                                                        result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>>>>>>>[0]>, import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>>>>>>>>>["length"] extends 0 ? {
-                                                            result: [];
-                                                        } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>>>>>>>>>["length"] extends 1 ? {
-                                                            result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>>>>>>>>>[0]>];
-                                                        } : any)["result"]];
+                                                        result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>>>>>>>[0]>, import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>>>>>>>[1]>, ...any["result"]];
                                                     })["result"]];
                                                 })["result"]];
                                             })["result"]];
@@ -331,108 +315,104 @@ export declare const required: {
                         })["result"]];
                     })["result"]];
                 })["result"]];
-            })["result"], import("./types").Type<"undefined", undefined>]>;
+            })["result"], import("./Undefined").Undefined]>;
         };
     };
-    symbol: import("./types").Type<"symbol", string> & {
-        optional: import("./types").Type<"union", [import("./types").Type<"symbol", string>, import("./types").Type<"undefined", undefined>]>;
+    symbol: import("./Symbol").Symbol<string> & {
+        optional: import("./Union").Union<[import("./Symbol").Symbol<string>, import("./Undefined").Undefined]>;
     };
     tuple: {
-        create: <Value_14 extends import("./AllType").AllType, Values_4 extends import("./AllType").AllType[]>(value: Value_14, ...values: Values_4) => import("./types").Type<"tuple", [Value_14, ...Values_4]>;
+        create: <Value_14 extends import("./AllType").AllType, Values_4 extends import("./AllType").AllType[]>(value: Value_14, ...values: Values_4) => import("./Tuple").Tuple<[Value_14, ...Values_4]>;
         optional: {
-            create<Value_15 extends import("./AllType").AllType, Values_5 extends import("./AllType").AllType[]>(value: Value_15, ...values: Values_5): import("./types").Type<"union", [import("./types").Type<"tuple", [Value_15, ...Values_5]>, import("./types").Type<"undefined", undefined>]>;
+            create<Value_15 extends import("./AllType").AllType, Values_5 extends import("./AllType").AllType[]>(value: Value_15, ...values: Values_5): import("./Union").Union<[import("./Tuple").Tuple<[Value_15, ...Values_5]>, import("./Undefined").Undefined]>;
         };
     };
-    undefined: import("./types").Type<"undefined", undefined>;
-    unknown: import("./types").Type<"unknown", undefined>;
+    undefined: import("./Undefined").Undefined;
+    unknown: import("./Unknown").Unknown;
 };
 export declare const R: {
-    any: import("./types").Type<"any", undefined>;
-    array: import("./types").Type<"array", any> & {
-        any: import("./types").Type<"array", any>;
-        create: <Value extends import("./AllType").AllType>(value: Value) => import("./types").Type<"array", Value>;
-        optional: import("./types").Type<"union", [import("./types").Type<"array", any>, import("./types").Type<"undefined", undefined>]> & {
-            create<Value_1 extends import("./AllType").AllType>(value: Value_1): import("./types").Type<"union", [import("./types").Type<"array", Value_1>, import("./types").Type<"undefined", undefined>]>;
+    any: import("./Any").Any;
+    array: import("./Array").Array<any> & {
+        any: import("./Array").Array<any>;
+        create: <Value extends import("./AllType").AllType>(value: Value) => import("./Array").Array<Value>;
+        optional: import("./Union").Union<[import("./Array").Array<any>, import("./Undefined").Undefined]> & {
+            create<Value_1 extends import("./AllType").AllType>(value: Value_1): import("./Union").Union<[import("./Array").Array<Value_1>, import("./Undefined").Undefined]>;
         };
-        unknown: import("./types").Type<"array", import("./types").Type<"unknown", undefined>>;
+        unknown: import("./Array").Array<import("./Unknown").Unknown>;
     };
-    boolean: import("./types").Type<"boolean", boolean> & {
-        any: import("./types").Type<"boolean", boolean>;
-        true: import("./types").Type<"boolean", true>;
-        false: import("./types").Type<"boolean", false>;
-        create: <Value_2 extends boolean>(value: Value_2) => import("./types").Type<"boolean", Value_2>;
-        optional: import("./types").Type<"union", [import("./types").Type<"boolean", boolean>, import("./types").Type<"undefined", undefined>]> & {
-            create<Value_3 extends boolean>(value: Value_3): import("./types").Type<"union", [import("./types").Type<"boolean", Value_3>, import("./types").Type<"undefined", undefined>]>;
-            true: import("./types").Type<"union", [import("./types").Type<"boolean", true>, import("./types").Type<"undefined", undefined>]>;
-            false: import("./types").Type<"union", [import("./types").Type<"boolean", false>, import("./types").Type<"undefined", undefined>]>;
+    boolean: import("./Boolean").Boolean<boolean> & {
+        any: import("./Boolean").Boolean<boolean>;
+        true: import("./Boolean").Boolean<true>;
+        false: import("./Boolean").Boolean<false>;
+        create: <Value_2 extends boolean>(value: Value_2) => import("./Boolean").Boolean<Value_2>;
+        optional: import("./Union").Union<[import("./Boolean").Boolean<boolean>, import("./Undefined").Undefined]> & {
+            create<Value_3 extends boolean>(value: Value_3): import("./Union").Union<[import("./Boolean").Boolean<Value_3>, import("./Undefined").Undefined]>;
+            true: import("./Union").Union<[import("./Boolean").Boolean<true>, import("./Undefined").Undefined]>;
+            false: import("./Union").Union<[import("./Boolean").Boolean<false>, import("./Undefined").Undefined]>;
         };
     };
-    null: import("./types").Type<"null", undefined> & {
-        optional: import("./types").Type<"union", [import("./types").Type<"null", undefined>, import("./types").Type<"undefined", undefined>]>;
+    null: import("./Null").Null & {
+        optional: import("./Union").Union<[import("./Null").Null, import("./Undefined").Undefined]>;
     };
-    number: import("./types").Type<"number", number> & {
-        any: import("./types").Type<"number", number>;
-        create: <Value_4 extends number>(value: Value_4) => import("./types").Type<"number", Value_4>;
-        list<Value_5 extends number, Values extends number[]>(value: Value_5, ...values: Values): import("./types").Type<"union", ([Value_5, ...Values]["length"] extends 0 ? {
+    number: import("./Number").Number<number> & {
+        any: import("./Number").Number<number>;
+        create: <Value_4 extends number>(value: Value_4) => import("./Number").Number<Value_4>;
+        list<Value_5 extends number, Values extends number[]>(value: Value_5, ...values: Values): import("./Union").Union<([Value_5, ...Values]["length"] extends 0 ? {
             result: [];
         } : [Value_5, ...Values]["length"] extends 1 ? {
-            result: [import("./types").Type<"number", Value_5>];
+            result: [import("./Number").Number<Value_5>];
         } : {
-            result: [import("./types").Type<"number", Value_5>, import("./types").Type<"number", [Value_5, ...Values][1]>, ...(import("..").Tail<import("..").Tail<[Value_5, ...Values]>>["length"] extends 0 ? {
+            result: [import("./Number").Number<Value_5>, import("./Number").Number<[Value_5, ...Values][1]>, ...(import("..").Tail<import("..").Tail<[Value_5, ...Values]>>["length"] extends 0 ? {
                 result: [];
             } : import("..").Tail<import("..").Tail<[Value_5, ...Values]>>["length"] extends 1 ? {
-                result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<[Value_5, ...Values]>>[0]>];
+                result: [import("./Number").Number<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>[0]>];
             } : {
-                result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<[Value_5, ...Values]>>[0]>, import("./types").Type<"number", import("..").Tail<import("..").Tail<[Value_5, ...Values]>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>["length"] extends 0 ? {
+                result: [import("./Number").Number<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>[0]>, import("./Number").Number<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>["length"] extends 0 ? {
                     result: [];
                 } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>["length"] extends 1 ? {
-                    result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>[0]>];
+                    result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>[0]>];
                 } : {
-                    result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>[0]>, import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>["length"] extends 0 ? {
+                    result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>[0]>, import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>["length"] extends 0 ? {
                         result: [];
                     } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>["length"] extends 1 ? {
-                        result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>[0]>];
+                        result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>[0]>];
                     } : {
-                        result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>[0]>, import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>["length"] extends 0 ? {
+                        result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>[0]>, import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>["length"] extends 0 ? {
                             result: [];
                         } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>["length"] extends 1 ? {
-                            result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>[0]>];
+                            result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>[0]>];
                         } : {
-                            result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>[0]>, import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>["length"] extends 0 ? {
+                            result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>[0]>, import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>["length"] extends 0 ? {
                                 result: [];
                             } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>["length"] extends 1 ? {
-                                result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>[0]>];
+                                result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>[0]>];
                             } : {
-                                result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>[0]>, import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>["length"] extends 0 ? {
+                                result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>[0]>, import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>["length"] extends 0 ? {
                                     result: [];
                                 } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>["length"] extends 1 ? {
-                                    result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>[0]>];
+                                    result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>[0]>];
                                 } : {
-                                    result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>[0]>, import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>["length"] extends 0 ? {
+                                    result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>[0]>, import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>["length"] extends 0 ? {
                                         result: [];
                                     } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>["length"] extends 1 ? {
-                                        result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>[0]>];
+                                        result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>[0]>];
                                     } : {
-                                        result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>[0]>, import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>>>["length"] extends 0 ? {
+                                        result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>[0]>, import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>>>["length"] extends 0 ? {
                                             result: [];
                                         } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>>>["length"] extends 1 ? {
-                                            result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>>>[0]>];
+                                            result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>>>[0]>];
                                         } : {
-                                            result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>>>[0]>, import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>>>>>["length"] extends 0 ? {
+                                            result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>>>[0]>, import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>>>>>["length"] extends 0 ? {
                                                 result: [];
                                             } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>>>>>["length"] extends 1 ? {
-                                                result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>>>>>[0]>];
+                                                result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>>>>>[0]>];
                                             } : {
-                                                result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>>>>>[0]>, import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>>>>>>>["length"] extends 0 ? {
+                                                result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>>>>>[0]>, import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>>>>>>>["length"] extends 0 ? {
                                                     result: [];
                                                 } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>>>>>>>["length"] extends 1 ? {
-                                                    result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>>>>>>>[0]>];
+                                                    result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>>>>>>>[0]>];
                                                 } : {
-                                                    result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>>>>>>>[0]>, import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>>>>>>>>>["length"] extends 0 ? {
-                                                        result: [];
-                                                    } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>>>>>>>>>["length"] extends 1 ? {
-                                                        result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>>>>>>>>>[0]>];
-                                                    } : any)["result"]];
+                                                    result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>>>>>>>[0]>, import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_5, ...Values]>>>>>>>>>>>>>>>>>>>>[1]>, ...any["result"]];
                                                 })["result"]];
                                             })["result"]];
                                         })["result"]];
@@ -444,68 +424,64 @@ export declare const R: {
                 })["result"]];
             })["result"]];
         })["result"]>;
-        optional: import("./types").Type<"union", [import("./types").Type<"number", number>, import("./types").Type<"undefined", undefined>]> & {
-            create<Value_6 extends number>(value: Value_6): import("./types").Type<"union", [import("./types").Type<"number", Value_6>, import("./types").Type<"undefined", undefined>]>;
-            list<Value_7 extends number, Values_1 extends number[]>(value: Value_7, ...values: Values_1): import("./types").Type<"union", [...([Value_7, ...Values_1]["length"] extends 0 ? {
+        optional: import("./Union").Union<[import("./Number").Number<number>, import("./Undefined").Undefined]> & {
+            create<Value_6 extends number>(value: Value_6): import("./Union").Union<[import("./Number").Number<Value_6>, import("./Undefined").Undefined]>;
+            list<Value_7 extends number, Values_1 extends number[]>(value: Value_7, ...values: Values_1): import("./Union").Union<[...([Value_7, ...Values_1]["length"] extends 0 ? {
                 result: [];
             } : [Value_7, ...Values_1]["length"] extends 1 ? {
-                result: [import("./types").Type<"number", Value_7>];
+                result: [import("./Number").Number<Value_7>];
             } : {
-                result: [import("./types").Type<"number", Value_7>, import("./types").Type<"number", [Value_7, ...Values_1][1]>, ...(import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>["length"] extends 0 ? {
+                result: [import("./Number").Number<Value_7>, import("./Number").Number<[Value_7, ...Values_1][1]>, ...(import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>["length"] extends 0 ? {
                     result: [];
                 } : import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>["length"] extends 1 ? {
-                    result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>[0]>];
+                    result: [import("./Number").Number<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>[0]>];
                 } : {
-                    result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>[0]>, import("./types").Type<"number", import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>["length"] extends 0 ? {
+                    result: [import("./Number").Number<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>[0]>, import("./Number").Number<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>["length"] extends 0 ? {
                         result: [];
                     } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>["length"] extends 1 ? {
-                        result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>[0]>];
+                        result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>[0]>];
                     } : {
-                        result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>[0]>, import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>["length"] extends 0 ? {
+                        result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>[0]>, import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>["length"] extends 0 ? {
                             result: [];
                         } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>["length"] extends 1 ? {
-                            result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>[0]>];
+                            result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>[0]>];
                         } : {
-                            result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>[0]>, import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>["length"] extends 0 ? {
+                            result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>[0]>, import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>["length"] extends 0 ? {
                                 result: [];
                             } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>["length"] extends 1 ? {
-                                result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>[0]>];
+                                result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>[0]>];
                             } : {
-                                result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>[0]>, import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>["length"] extends 0 ? {
+                                result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>[0]>, import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>["length"] extends 0 ? {
                                     result: [];
                                 } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>["length"] extends 1 ? {
-                                    result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>[0]>];
+                                    result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>[0]>];
                                 } : {
-                                    result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>[0]>, import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>["length"] extends 0 ? {
+                                    result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>[0]>, import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>["length"] extends 0 ? {
                                         result: [];
                                     } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>["length"] extends 1 ? {
-                                        result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>[0]>];
+                                        result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>[0]>];
                                     } : {
-                                        result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>[0]>, import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>["length"] extends 0 ? {
+                                        result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>[0]>, import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>["length"] extends 0 ? {
                                             result: [];
                                         } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>["length"] extends 1 ? {
-                                            result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>[0]>];
+                                            result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>[0]>];
                                         } : {
-                                            result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>[0]>, import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>>>["length"] extends 0 ? {
+                                            result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>[0]>, import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>>>["length"] extends 0 ? {
                                                 result: [];
                                             } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>>>["length"] extends 1 ? {
-                                                result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>>>[0]>];
+                                                result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>>>[0]>];
                                             } : {
-                                                result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>>>[0]>, import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>>>>>["length"] extends 0 ? {
+                                                result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>>>[0]>, import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>>>>>["length"] extends 0 ? {
                                                     result: [];
                                                 } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>>>>>["length"] extends 1 ? {
-                                                    result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>>>>>[0]>];
+                                                    result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>>>>>[0]>];
                                                 } : {
-                                                    result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>>>>>[0]>, import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>>>>>>>["length"] extends 0 ? {
+                                                    result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>>>>>[0]>, import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>>>>>>>["length"] extends 0 ? {
                                                         result: [];
                                                     } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>>>>>>>["length"] extends 1 ? {
-                                                        result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>>>>>>>[0]>];
+                                                        result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>>>>>>>[0]>];
                                                     } : {
-                                                        result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>>>>>>>[0]>, import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>>>>>>>>>["length"] extends 0 ? {
-                                                            result: [];
-                                                        } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>>>>>>>>>["length"] extends 1 ? {
-                                                            result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>>>>>>>>>[0]>];
-                                                        } : any)["result"]];
+                                                        result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>>>>>>>[0]>, import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_7, ...Values_1]>>>>>>>>>>>>>>>>>>>>[1]>, ...any["result"]];
                                                     })["result"]];
                                                 })["result"]];
                                             })["result"]];
@@ -516,86 +492,82 @@ export declare const R: {
                         })["result"]];
                     })["result"]];
                 })["result"]];
-            })["result"], import("./types").Type<"undefined", undefined>]>;
+            })["result"], import("./Undefined").Undefined]>;
         };
     };
-    object: import("./types").Type<"object", any> & {
-        any: import("./types").Type<"object", any>;
-        create: <Props extends Record<string, import("./AllType").AllType>>(props: Props) => import("./types").Type<"object", Props>;
+    object: import("./Object").ObjectType<any> & {
+        any: import("./Object").ObjectType<any>;
+        create: <Props extends Record<string, import("./AllType").AllType>>(props: Props) => import("./Object").ObjectType<Props>;
         map: typeof import("./Object").map;
-        optional: import("./types").Type<"union", [import("./types").Type<"object", any>, import("./types").Type<"undefined", undefined>]> & {
-            create<Props_1 extends Record<string, import("./AllType").AllType>>(props: Props_1): import("./types").Type<"union", [import("./types").Type<"object", Props_1>, import("./types").Type<"undefined", undefined>]>;
+        optional: import("./Union").Union<[import("./Object").ObjectType<any>, import("./Undefined").Undefined]> & {
+            create<Props_1 extends Record<string, import("./AllType").AllType>>(props: Props_1): import("./Union").Union<[import("./Object").ObjectType<Props_1>, import("./Undefined").Undefined]>;
         };
     };
     record: {
-        create: <Value_8 extends import("./AllType").AllType>(value: Value_8) => import("./types").Type<"record", Value_8>;
+        create: <Value_8 extends import("./AllType").AllType>(value: Value_8) => import("./Record").Record<Value_8>;
         optional: {
-            create<Value_9 extends import("./AllType").AllType>(value: Value_9): import("./types").Type<"union", [import("./types").Type<"record", Value_9>, import("./types").Type<"undefined", undefined>]>;
+            create<Value_9 extends import("./AllType").AllType>(value: Value_9): import("./Union").Union<[import("./Record").Record<Value_9>, import("./Undefined").Undefined]>;
         };
     };
-    string: import("./types").Type<"string", string> & {
-        any: import("./types").Type<"string", string>;
-        create: <Value_10 extends string>(value: Value_10) => import("./types").Type<"string", Value_10>;
-        list<Value_11 extends string, Values_2 extends string[]>(value: Value_11, ...values: Values_2): import("./types").Type<"union", ([Value_11, ...Values_2]["length"] extends 0 ? {
+    string: import("./String").String<string> & {
+        any: import("./String").String<string>;
+        create: <Value_10 extends string>(value: Value_10) => import("./String").String<Value_10>;
+        list<Value_11 extends string, Values_2 extends string[]>(value: Value_11, ...values: Values_2): import("./Union").Union<([Value_11, ...Values_2]["length"] extends 0 ? {
             result: [];
         } : [Value_11, ...Values_2]["length"] extends 1 ? {
-            result: [import("./types").Type<"string", Value_11>];
+            result: [import("./String").String<Value_11>];
         } : {
-            result: [import("./types").Type<"string", Value_11>, import("./types").Type<"string", [Value_11, ...Values_2][1]>, ...(import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>["length"] extends 0 ? {
+            result: [import("./String").String<Value_11>, import("./String").String<[Value_11, ...Values_2][1]>, ...(import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>["length"] extends 0 ? {
                 result: [];
             } : import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>["length"] extends 1 ? {
-                result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>[0]>];
+                result: [import("./String").String<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>[0]>];
             } : {
-                result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>[0]>, import("./types").Type<"string", import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>["length"] extends 0 ? {
+                result: [import("./String").String<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>[0]>, import("./String").String<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>["length"] extends 0 ? {
                     result: [];
                 } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>["length"] extends 1 ? {
-                    result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>[0]>];
+                    result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>[0]>];
                 } : {
-                    result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>[0]>, import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>["length"] extends 0 ? {
+                    result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>[0]>, import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>["length"] extends 0 ? {
                         result: [];
                     } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>["length"] extends 1 ? {
-                        result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>[0]>];
+                        result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>[0]>];
                     } : {
-                        result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>[0]>, import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>["length"] extends 0 ? {
+                        result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>[0]>, import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>["length"] extends 0 ? {
                             result: [];
                         } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>["length"] extends 1 ? {
-                            result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>[0]>];
+                            result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>[0]>];
                         } : {
-                            result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>[0]>, import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>["length"] extends 0 ? {
+                            result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>[0]>, import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>["length"] extends 0 ? {
                                 result: [];
                             } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>["length"] extends 1 ? {
-                                result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>[0]>];
+                                result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>[0]>];
                             } : {
-                                result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>[0]>, import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>["length"] extends 0 ? {
+                                result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>[0]>, import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>["length"] extends 0 ? {
                                     result: [];
                                 } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>["length"] extends 1 ? {
-                                    result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>[0]>];
+                                    result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>[0]>];
                                 } : {
-                                    result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>[0]>, import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>["length"] extends 0 ? {
+                                    result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>[0]>, import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>["length"] extends 0 ? {
                                         result: [];
                                     } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>["length"] extends 1 ? {
-                                        result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>[0]>];
+                                        result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>[0]>];
                                     } : {
-                                        result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>[0]>, import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>>>["length"] extends 0 ? {
+                                        result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>[0]>, import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>>>["length"] extends 0 ? {
                                             result: [];
                                         } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>>>["length"] extends 1 ? {
-                                            result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>>>[0]>];
+                                            result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>>>[0]>];
                                         } : {
-                                            result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>>>[0]>, import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>>>>>["length"] extends 0 ? {
+                                            result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>>>[0]>, import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>>>>>["length"] extends 0 ? {
                                                 result: [];
                                             } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>>>>>["length"] extends 1 ? {
-                                                result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>>>>>[0]>];
+                                                result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>>>>>[0]>];
                                             } : {
-                                                result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>>>>>[0]>, import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>>>>>>>["length"] extends 0 ? {
+                                                result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>>>>>[0]>, import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>>>>>>>["length"] extends 0 ? {
                                                     result: [];
                                                 } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>>>>>>>["length"] extends 1 ? {
-                                                    result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>>>>>>>[0]>];
+                                                    result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>>>>>>>[0]>];
                                                 } : {
-                                                    result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>>>>>>>[0]>, import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>>>>>>>>>["length"] extends 0 ? {
-                                                        result: [];
-                                                    } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>>>>>>>>>["length"] extends 1 ? {
-                                                        result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>>>>>>>>>[0]>];
-                                                    } : any)["result"]];
+                                                    result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>>>>>>>[0]>, import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_11, ...Values_2]>>>>>>>>>>>>>>>>>>>>[1]>, ...any["result"]];
                                                 })["result"]];
                                             })["result"]];
                                         })["result"]];
@@ -607,68 +579,64 @@ export declare const R: {
                 })["result"]];
             })["result"]];
         })["result"]>;
-        optional: import("./types").Type<"union", [import("./types").Type<"string", string>, import("./types").Type<"undefined", undefined>]> & {
-            create<Value_12 extends string>(value: Value_12): import("./types").Type<"union", [import("./types").Type<"string", Value_12>, import("./types").Type<"undefined", undefined>]>;
-            list<Value_13 extends string, Values_3 extends string[]>(value: Value_13, ...values: Values_3): import("./types").Type<"union", [...([Value_13, ...Values_3]["length"] extends 0 ? {
+        optional: import("./Union").Union<[import("./String").String<string>, import("./Undefined").Undefined]> & {
+            create<Value_12 extends string>(value: Value_12): import("./Union").Union<[import("./String").String<Value_12>, import("./Undefined").Undefined]>;
+            list<Value_13 extends string, Values_3 extends string[]>(value: Value_13, ...values: Values_3): import("./Union").Union<[...([Value_13, ...Values_3]["length"] extends 0 ? {
                 result: [];
             } : [Value_13, ...Values_3]["length"] extends 1 ? {
-                result: [import("./types").Type<"string", Value_13>];
+                result: [import("./String").String<Value_13>];
             } : {
-                result: [import("./types").Type<"string", Value_13>, import("./types").Type<"string", [Value_13, ...Values_3][1]>, ...(import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>["length"] extends 0 ? {
+                result: [import("./String").String<Value_13>, import("./String").String<[Value_13, ...Values_3][1]>, ...(import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>["length"] extends 0 ? {
                     result: [];
                 } : import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>["length"] extends 1 ? {
-                    result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>[0]>];
+                    result: [import("./String").String<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>[0]>];
                 } : {
-                    result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>[0]>, import("./types").Type<"string", import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>["length"] extends 0 ? {
+                    result: [import("./String").String<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>[0]>, import("./String").String<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>["length"] extends 0 ? {
                         result: [];
                     } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>["length"] extends 1 ? {
-                        result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>[0]>];
+                        result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>[0]>];
                     } : {
-                        result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>[0]>, import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>["length"] extends 0 ? {
+                        result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>[0]>, import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>["length"] extends 0 ? {
                             result: [];
                         } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>["length"] extends 1 ? {
-                            result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>[0]>];
+                            result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>[0]>];
                         } : {
-                            result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>[0]>, import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>["length"] extends 0 ? {
+                            result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>[0]>, import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>["length"] extends 0 ? {
                                 result: [];
                             } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>["length"] extends 1 ? {
-                                result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>[0]>];
+                                result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>[0]>];
                             } : {
-                                result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>[0]>, import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>["length"] extends 0 ? {
+                                result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>[0]>, import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>["length"] extends 0 ? {
                                     result: [];
                                 } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>["length"] extends 1 ? {
-                                    result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>[0]>];
+                                    result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>[0]>];
                                 } : {
-                                    result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>[0]>, import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>["length"] extends 0 ? {
+                                    result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>[0]>, import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>["length"] extends 0 ? {
                                         result: [];
                                     } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>["length"] extends 1 ? {
-                                        result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>[0]>];
+                                        result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>[0]>];
                                     } : {
-                                        result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>[0]>, import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>["length"] extends 0 ? {
+                                        result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>[0]>, import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>["length"] extends 0 ? {
                                             result: [];
                                         } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>["length"] extends 1 ? {
-                                            result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>[0]>];
+                                            result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>[0]>];
                                         } : {
-                                            result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>[0]>, import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>>>["length"] extends 0 ? {
+                                            result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>[0]>, import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>>>["length"] extends 0 ? {
                                                 result: [];
                                             } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>>>["length"] extends 1 ? {
-                                                result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>>>[0]>];
+                                                result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>>>[0]>];
                                             } : {
-                                                result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>>>[0]>, import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>>>>>["length"] extends 0 ? {
+                                                result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>>>[0]>, import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>>>>>["length"] extends 0 ? {
                                                     result: [];
                                                 } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>>>>>["length"] extends 1 ? {
-                                                    result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>>>>>[0]>];
+                                                    result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>>>>>[0]>];
                                                 } : {
-                                                    result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>>>>>[0]>, import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>>>>>>>["length"] extends 0 ? {
+                                                    result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>>>>>[0]>, import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>>>>>>>["length"] extends 0 ? {
                                                         result: [];
                                                     } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>>>>>>>["length"] extends 1 ? {
-                                                        result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>>>>>>>[0]>];
+                                                        result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>>>>>>>[0]>];
                                                     } : {
-                                                        result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>>>>>>>[0]>, import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>>>>>>>>>["length"] extends 0 ? {
-                                                            result: [];
-                                                        } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>>>>>>>>>["length"] extends 1 ? {
-                                                            result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>>>>>>>>>[0]>];
-                                                        } : any)["result"]];
+                                                        result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>>>>>>>[0]>, import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_13, ...Values_3]>>>>>>>>>>>>>>>>>>>>[1]>, ...any["result"]];
                                                     })["result"]];
                                                 })["result"]];
                                             })["result"]];
@@ -679,18 +647,18 @@ export declare const R: {
                         })["result"]];
                     })["result"]];
                 })["result"]];
-            })["result"], import("./types").Type<"undefined", undefined>]>;
+            })["result"], import("./Undefined").Undefined]>;
         };
     };
-    symbol: import("./types").Type<"symbol", string> & {
-        optional: import("./types").Type<"union", [import("./types").Type<"symbol", string>, import("./types").Type<"undefined", undefined>]>;
+    symbol: import("./Symbol").Symbol<string> & {
+        optional: import("./Union").Union<[import("./Symbol").Symbol<string>, import("./Undefined").Undefined]>;
     };
     tuple: {
-        create: <Value_14 extends import("./AllType").AllType, Values_4 extends import("./AllType").AllType[]>(value: Value_14, ...values: Values_4) => import("./types").Type<"tuple", [Value_14, ...Values_4]>;
+        create: <Value_14 extends import("./AllType").AllType, Values_4 extends import("./AllType").AllType[]>(value: Value_14, ...values: Values_4) => import("./Tuple").Tuple<[Value_14, ...Values_4]>;
         optional: {
-            create<Value_15 extends import("./AllType").AllType, Values_5 extends import("./AllType").AllType[]>(value: Value_15, ...values: Values_5): import("./types").Type<"union", [import("./types").Type<"tuple", [Value_15, ...Values_5]>, import("./types").Type<"undefined", undefined>]>;
+            create<Value_15 extends import("./AllType").AllType, Values_5 extends import("./AllType").AllType[]>(value: Value_15, ...values: Values_5): import("./Union").Union<[import("./Tuple").Tuple<[Value_15, ...Values_5]>, import("./Undefined").Undefined]>;
         };
     };
-    undefined: import("./types").Type<"undefined", undefined>;
-    unknown: import("./types").Type<"unknown", undefined>;
+    undefined: import("./Undefined").Undefined;
+    unknown: import("./Unknown").Unknown;
 };