type-plus 3.12.0 → 3.13.1

package/lib/types/optional.d.ts

@@ -1,76 +1,72 @@
 export declare const optional: {
-    any: import("./types").Type<"any", undefined>;
-    array: import("./types").Type<"union", [import("./types").Type<"array", any>, import("./types").Type<"undefined", undefined>]> & {
-        create<Value extends import("./AllType").AllType>(value: Value): import("./types").Type<"union", [import("./types").Type<"array", Value>, import("./types").Type<"undefined", undefined>]>;
+    any: import("./Any").Any;
+    array: import("./Union").Union<[import("./Array").Array<any>, import("./Undefined").Undefined]> & {
+        create<Value extends import("./AllType").AllType>(value: Value): import("./Union").Union<[import("./Array").Array<Value>, import("./Undefined").Undefined]>;
     };
-    boolean: import("./types").Type<"union", [import("./types").Type<"boolean", boolean>, import("./types").Type<"undefined", undefined>]> & {
-        create<Value_1 extends boolean>(value: Value_1): import("./types").Type<"union", [import("./types").Type<"boolean", Value_1>, 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("./Union").Union<[import("./Boolean").Boolean<boolean>, import("./Undefined").Undefined]> & {
+        create<Value_1 extends boolean>(value: Value_1): import("./Union").Union<[import("./Boolean").Boolean<Value_1>, 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<"union", [import("./types").Type<"null", undefined>, import("./types").Type<"undefined", undefined>]>;
-    number: import("./types").Type<"union", [import("./types").Type<"number", number>, import("./types").Type<"undefined", undefined>]> & {
-        create<Value_2 extends number>(value: Value_2): import("./types").Type<"union", [import("./types").Type<"number", Value_2>, import("./types").Type<"undefined", undefined>]>;
-        list<Value_3 extends number, Values extends number[]>(value: Value_3, ...values: Values): import("./types").Type<"union", [...([Value_3, ...Values]["length"] extends 0 ? {
+    null: import("./Union").Union<[import("./Null").Null, import("./Undefined").Undefined]>;
+    number: import("./Union").Union<[import("./Number").Number<number>, import("./Undefined").Undefined]> & {
+        create<Value_2 extends number>(value: Value_2): import("./Union").Union<[import("./Number").Number<Value_2>, import("./Undefined").Undefined]>;
+        list<Value_3 extends number, Values extends number[]>(value: Value_3, ...values: Values): import("./Union").Union<[...([Value_3, ...Values]["length"] extends 0 ? {
             result: [];
         } : [Value_3, ...Values]["length"] extends 1 ? {
-            result: [import("./types").Type<"number", Value_3>];
+            result: [import("./Number").Number<Value_3>];
         } : {
-            result: [import("./types").Type<"number", Value_3>, import("./types").Type<"number", [Value_3, ...Values][1]>, ...(import("..").Tail<import("..").Tail<[Value_3, ...Values]>>["length"] extends 0 ? {
+            result: [import("./Number").Number<Value_3>, import("./Number").Number<[Value_3, ...Values][1]>, ...(import("..").Tail<import("..").Tail<[Value_3, ...Values]>>["length"] extends 0 ? {
                 result: [];
             } : import("..").Tail<import("..").Tail<[Value_3, ...Values]>>["length"] extends 1 ? {
-                result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<[Value_3, ...Values]>>[0]>];
+                result: [import("./Number").Number<import("..").Tail<import("..").Tail<[Value_3, ...Values]>>[0]>];
             } : {
-                result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<[Value_3, ...Values]>>[0]>, import("./types").Type<"number", import("..").Tail<import("..").Tail<[Value_3, ...Values]>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_3, ...Values]>>>>["length"] extends 0 ? {
+                result: [import("./Number").Number<import("..").Tail<import("..").Tail<[Value_3, ...Values]>>[0]>, import("./Number").Number<import("..").Tail<import("..").Tail<[Value_3, ...Values]>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_3, ...Values]>>>>["length"] extends 0 ? {
                     result: [];
                 } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_3, ...Values]>>>>["length"] extends 1 ? {
-                    result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_3, ...Values]>>>>[0]>];
+                    result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_3, ...Values]>>>>[0]>];
                 } : {
-                    result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_3, ...Values]>>>>[0]>, import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_3, ...Values]>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_3, ...Values]>>>>>>["length"] extends 0 ? {
+                    result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_3, ...Values]>>>>[0]>, import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_3, ...Values]>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_3, ...Values]>>>>>>["length"] extends 0 ? {
                         result: [];
                     } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_3, ...Values]>>>>>>["length"] extends 1 ? {
-                        result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_3, ...Values]>>>>>>[0]>];
+                        result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_3, ...Values]>>>>>>[0]>];
                     } : {
-                        result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_3, ...Values]>>>>>>[0]>, import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_3, ...Values]>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_3, ...Values]>>>>>>>>["length"] extends 0 ? {
+                        result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_3, ...Values]>>>>>>[0]>, import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_3, ...Values]>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_3, ...Values]>>>>>>>>["length"] extends 0 ? {
                             result: [];
                         } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_3, ...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_3, ...Values]>>>>>>>>[0]>];
+                            result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_3, ...Values]>>>>>>>>[0]>];
                         } : {
-                            result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_3, ...Values]>>>>>>>>[0]>, import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_3, ...Values]>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_3, ...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_3, ...Values]>>>>>>>>[0]>, import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_3, ...Values]>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...Values]>>>>>>>>>>>>>>>>>>>>[1]>, ...any["result"]];
                                                 })["result"]];
                                             })["result"]];
                                         })["result"]];
@@ -81,76 +77,72 @@ export declare const optional: {
                     })["result"]];
                 })["result"]];
             })["result"]];
-        })["result"], import("./types").Type<"undefined", undefined>]>;
+        })["result"], import("./Undefined").Undefined]>;
     };
-    object: import("./types").Type<"union", [import("./types").Type<"object", any>, import("./types").Type<"undefined", undefined>]> & {
-        create<Props extends Record<string, import("./AllType").AllType>>(props: Props): import("./types").Type<"union", [import("./types").Type<"object", Props>, import("./types").Type<"undefined", undefined>]>;
+    object: import("./Union").Union<[import("./Object").ObjectType<any>, import("./Undefined").Undefined]> & {
+        create<Props extends Record<string, import("./AllType").AllType>>(props: Props): import("./Union").Union<[import("./Object").ObjectType<Props>, import("./Undefined").Undefined]>;
     };
     record: {
-        create<Value_4 extends import("./AllType").AllType>(value: Value_4): import("./types").Type<"union", [import("./types").Type<"record", Value_4>, import("./types").Type<"undefined", undefined>]>;
+        create<Value_4 extends import("./AllType").AllType>(value: Value_4): import("./Union").Union<[import("./Record").Record<Value_4>, import("./Undefined").Undefined]>;
     };
-    string: import("./types").Type<"union", [import("./types").Type<"string", string>, import("./types").Type<"undefined", undefined>]> & {
-        create<Value_5 extends string>(value: Value_5): import("./types").Type<"union", [import("./types").Type<"string", Value_5>, import("./types").Type<"undefined", undefined>]>;
-        list<Value_6 extends string, Values_1 extends string[]>(value: Value_6, ...values: Values_1): import("./types").Type<"union", [...([Value_6, ...Values_1]["length"] extends 0 ? {
+    string: import("./Union").Union<[import("./String").String<string>, import("./Undefined").Undefined]> & {
+        create<Value_5 extends string>(value: Value_5): import("./Union").Union<[import("./String").String<Value_5>, import("./Undefined").Undefined]>;
+        list<Value_6 extends string, Values_1 extends string[]>(value: Value_6, ...values: Values_1): import("./Union").Union<[...([Value_6, ...Values_1]["length"] extends 0 ? {
             result: [];
         } : [Value_6, ...Values_1]["length"] extends 1 ? {
-            result: [import("./types").Type<"string", Value_6>];
+            result: [import("./String").String<Value_6>];
         } : {
-            result: [import("./types").Type<"string", Value_6>, import("./types").Type<"string", [Value_6, ...Values_1][1]>, ...(import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>["length"] extends 0 ? {
+            result: [import("./String").String<Value_6>, import("./String").String<[Value_6, ...Values_1][1]>, ...(import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>["length"] extends 0 ? {
                 result: [];
             } : import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>["length"] extends 1 ? {
-                result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>[0]>];
+                result: [import("./String").String<import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>[0]>];
             } : {
-                result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>[0]>, import("./types").Type<"string", import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>>>["length"] extends 0 ? {
+                result: [import("./String").String<import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>[0]>, import("./String").String<import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>>>["length"] extends 0 ? {
                     result: [];
                 } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>>>["length"] extends 1 ? {
-                    result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>>>[0]>];
+                    result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>>>[0]>];
                 } : {
-                    result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>>>[0]>, import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>>>>>["length"] extends 0 ? {
+                    result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>>>[0]>, import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>>>>>["length"] extends 0 ? {
                         result: [];
                     } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>>>>>["length"] extends 1 ? {
-                        result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>>>>>[0]>];
+                        result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>>>>>[0]>];
                     } : {
-                        result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>>>>>[0]>, import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>>>>>>>["length"] extends 0 ? {
+                        result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>>>>>[0]>, import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>>>>>>>["length"] extends 0 ? {
                             result: [];
                         } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>>>>>>>["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_6, ...Values_1]>>>>>>>>[0]>];
+                            result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>>>>>>>[0]>];
                         } : {
-                            result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>>>>>>>[0]>, import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>>>>>>>>>["length"] extends 0 ? {
+                            result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>>>>>>>[0]>, import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_6, ...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_6, ...Values_1]>>>>>>>>>>["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_6, ...Values_1]>>>>>>>>>>[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_6, ...Values_1]>>>>>>>>>>[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_6, ...Values_1]>>>>>>>>>>[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_6, ...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_6, ...Values_1]>>>>>>>>>>>>["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_6, ...Values_1]>>>>>>>>>>[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_6, ...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_6, ...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_6, ...Values_1]>>>>>>>>>>>>["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_6, ...Values_1]>>>>>>>>>>>>[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_6, ...Values_1]>>>>>>>>>>>>[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_6, ...Values_1]>>>>>>>>>>>>[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_6, ...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_6, ...Values_1]>>>>>>>>>>>>>>["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_6, ...Values_1]>>>>>>>>>>>>[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_6, ...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_6, ...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_6, ...Values_1]>>>>>>>>>>>>>>["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_6, ...Values_1]>>>>>>>>>>>>>>[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_6, ...Values_1]>>>>>>>>>>>>>>[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_6, ...Values_1]>>>>>>>>>>>>>>[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_6, ...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_6, ...Values_1]>>>>>>>>>>>>>>>>["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_6, ...Values_1]>>>>>>>>>>>>>>[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_6, ...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_6, ...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_6, ...Values_1]>>>>>>>>>>>>>>>>["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_6, ...Values_1]>>>>>>>>>>>>>>>>[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_6, ...Values_1]>>>>>>>>>>>>>>>>[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_6, ...Values_1]>>>>>>>>>>>>>>>>[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_6, ...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_6, ...Values_1]>>>>>>>>>>>>>>>>>>["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_6, ...Values_1]>>>>>>>>>>>>>>>>[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_6, ...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_6, ...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_6, ...Values_1]>>>>>>>>>>>>>>>>>>["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_6, ...Values_1]>>>>>>>>>>>>>>>>>>[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_6, ...Values_1]>>>>>>>>>>>>>>>>>>[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_6, ...Values_1]>>>>>>>>>>>>>>>>>>[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_6, ...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_6, ...Values_1]>>>>>>>>>>>>>>>>>>>>["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_6, ...Values_1]>>>>>>>>>>>>>>>>>>[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_6, ...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_6, ...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_6, ...Values_1]>>>>>>>>>>>>>>>>>>>>["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_6, ...Values_1]>>>>>>>>>>>>>>>>>>>>[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_6, ...Values_1]>>>>>>>>>>>>>>>>>>>>[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_6, ...Values_1]>>>>>>>>>>>>>>>>>>>>[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_6, ...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_6, ...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_6, ...Values_1]>>>>>>>>>>>>>>>>>>>>>>["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_6, ...Values_1]>>>>>>>>>>>>>>>>>>>>>>[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_6, ...Values_1]>>>>>>>>>>>>>>>>>>>>[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_6, ...Values_1]>>>>>>>>>>>>>>>>>>>>[1]>, ...any["result"]];
                                                 })["result"]];
                                             })["result"]];
                                         })["result"]];
@@ -161,88 +153,84 @@ export declare const optional: {
                     })["result"]];
                 })["result"]];
             })["result"]];
-        })["result"], import("./types").Type<"undefined", undefined>]>;
+        })["result"], import("./Undefined").Undefined]>;
     };
-    symbol: import("./types").Type<"union", [import("./types").Type<"symbol", string>, import("./types").Type<"undefined", undefined>]>;
+    symbol: import("./Union").Union<[import("./Symbol").Symbol<string>, import("./Undefined").Undefined]>;
     tuple: {
-        create<Value_7 extends import("./AllType").AllType, Values_2 extends import("./AllType").AllType[]>(value: Value_7, ...values: Values_2): import("./types").Type<"union", [import("./types").Type<"tuple", [Value_7, ...Values_2]>, import("./types").Type<"undefined", undefined>]>;
+        create<Value_7 extends import("./AllType").AllType, Values_2 extends import("./AllType").AllType[]>(value: Value_7, ...values: Values_2): import("./Union").Union<[import("./Tuple").Tuple<[Value_7, ...Values_2]>, 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 O: {
-    any: import("./types").Type<"any", undefined>;
-    array: import("./types").Type<"union", [import("./types").Type<"array", any>, import("./types").Type<"undefined", undefined>]> & {
-        create<Value extends import("./AllType").AllType>(value: Value): import("./types").Type<"union", [import("./types").Type<"array", Value>, import("./types").Type<"undefined", undefined>]>;
+    any: import("./Any").Any;
+    array: import("./Union").Union<[import("./Array").Array<any>, import("./Undefined").Undefined]> & {
+        create<Value extends import("./AllType").AllType>(value: Value): import("./Union").Union<[import("./Array").Array<Value>, import("./Undefined").Undefined]>;
     };
-    boolean: import("./types").Type<"union", [import("./types").Type<"boolean", boolean>, import("./types").Type<"undefined", undefined>]> & {
-        create<Value_1 extends boolean>(value: Value_1): import("./types").Type<"union", [import("./types").Type<"boolean", Value_1>, 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("./Union").Union<[import("./Boolean").Boolean<boolean>, import("./Undefined").Undefined]> & {
+        create<Value_1 extends boolean>(value: Value_1): import("./Union").Union<[import("./Boolean").Boolean<Value_1>, 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<"union", [import("./types").Type<"null", undefined>, import("./types").Type<"undefined", undefined>]>;
-    number: import("./types").Type<"union", [import("./types").Type<"number", number>, import("./types").Type<"undefined", undefined>]> & {
-        create<Value_2 extends number>(value: Value_2): import("./types").Type<"union", [import("./types").Type<"number", Value_2>, import("./types").Type<"undefined", undefined>]>;
-        list<Value_3 extends number, Values extends number[]>(value: Value_3, ...values: Values): import("./types").Type<"union", [...([Value_3, ...Values]["length"] extends 0 ? {
+    null: import("./Union").Union<[import("./Null").Null, import("./Undefined").Undefined]>;
+    number: import("./Union").Union<[import("./Number").Number<number>, import("./Undefined").Undefined]> & {
+        create<Value_2 extends number>(value: Value_2): import("./Union").Union<[import("./Number").Number<Value_2>, import("./Undefined").Undefined]>;
+        list<Value_3 extends number, Values extends number[]>(value: Value_3, ...values: Values): import("./Union").Union<[...([Value_3, ...Values]["length"] extends 0 ? {
             result: [];
         } : [Value_3, ...Values]["length"] extends 1 ? {
-            result: [import("./types").Type<"number", Value_3>];
+            result: [import("./Number").Number<Value_3>];
         } : {
-            result: [import("./types").Type<"number", Value_3>, import("./types").Type<"number", [Value_3, ...Values][1]>, ...(import("..").Tail<import("..").Tail<[Value_3, ...Values]>>["length"] extends 0 ? {
+            result: [import("./Number").Number<Value_3>, import("./Number").Number<[Value_3, ...Values][1]>, ...(import("..").Tail<import("..").Tail<[Value_3, ...Values]>>["length"] extends 0 ? {
                 result: [];
             } : import("..").Tail<import("..").Tail<[Value_3, ...Values]>>["length"] extends 1 ? {
-                result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<[Value_3, ...Values]>>[0]>];
+                result: [import("./Number").Number<import("..").Tail<import("..").Tail<[Value_3, ...Values]>>[0]>];
             } : {
-                result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<[Value_3, ...Values]>>[0]>, import("./types").Type<"number", import("..").Tail<import("..").Tail<[Value_3, ...Values]>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_3, ...Values]>>>>["length"] extends 0 ? {
+                result: [import("./Number").Number<import("..").Tail<import("..").Tail<[Value_3, ...Values]>>[0]>, import("./Number").Number<import("..").Tail<import("..").Tail<[Value_3, ...Values]>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_3, ...Values]>>>>["length"] extends 0 ? {
                     result: [];
                 } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_3, ...Values]>>>>["length"] extends 1 ? {
-                    result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_3, ...Values]>>>>[0]>];
+                    result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_3, ...Values]>>>>[0]>];
                 } : {
-                    result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_3, ...Values]>>>>[0]>, import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_3, ...Values]>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_3, ...Values]>>>>>>["length"] extends 0 ? {
+                    result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_3, ...Values]>>>>[0]>, import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_3, ...Values]>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_3, ...Values]>>>>>>["length"] extends 0 ? {
                         result: [];
                     } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_3, ...Values]>>>>>>["length"] extends 1 ? {
-                        result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_3, ...Values]>>>>>>[0]>];
+                        result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_3, ...Values]>>>>>>[0]>];
                     } : {
-                        result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_3, ...Values]>>>>>>[0]>, import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_3, ...Values]>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_3, ...Values]>>>>>>>>["length"] extends 0 ? {
+                        result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_3, ...Values]>>>>>>[0]>, import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_3, ...Values]>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_3, ...Values]>>>>>>>>["length"] extends 0 ? {
                             result: [];
                         } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_3, ...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_3, ...Values]>>>>>>>>[0]>];
+                            result: [import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_3, ...Values]>>>>>>>>[0]>];
                         } : {
-                            result: [import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_3, ...Values]>>>>>>>>[0]>, import("./types").Type<"number", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_3, ...Values]>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_3, ...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_3, ...Values]>>>>>>>>[0]>, import("./Number").Number<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_3, ...Values]>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...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_3, ...Values]>>>>>>>>>>>>>>>>>>>>[1]>, ...any["result"]];
                                                 })["result"]];
                                             })["result"]];
                                         })["result"]];
@@ -253,76 +241,72 @@ export declare const O: {
                     })["result"]];
                 })["result"]];
             })["result"]];
-        })["result"], import("./types").Type<"undefined", undefined>]>;
+        })["result"], import("./Undefined").Undefined]>;
     };
-    object: import("./types").Type<"union", [import("./types").Type<"object", any>, import("./types").Type<"undefined", undefined>]> & {
-        create<Props extends Record<string, import("./AllType").AllType>>(props: Props): import("./types").Type<"union", [import("./types").Type<"object", Props>, import("./types").Type<"undefined", undefined>]>;
+    object: import("./Union").Union<[import("./Object").ObjectType<any>, import("./Undefined").Undefined]> & {
+        create<Props extends Record<string, import("./AllType").AllType>>(props: Props): import("./Union").Union<[import("./Object").ObjectType<Props>, import("./Undefined").Undefined]>;
     };
     record: {
-        create<Value_4 extends import("./AllType").AllType>(value: Value_4): import("./types").Type<"union", [import("./types").Type<"record", Value_4>, import("./types").Type<"undefined", undefined>]>;
+        create<Value_4 extends import("./AllType").AllType>(value: Value_4): import("./Union").Union<[import("./Record").Record<Value_4>, import("./Undefined").Undefined]>;
     };
-    string: import("./types").Type<"union", [import("./types").Type<"string", string>, import("./types").Type<"undefined", undefined>]> & {
-        create<Value_5 extends string>(value: Value_5): import("./types").Type<"union", [import("./types").Type<"string", Value_5>, import("./types").Type<"undefined", undefined>]>;
-        list<Value_6 extends string, Values_1 extends string[]>(value: Value_6, ...values: Values_1): import("./types").Type<"union", [...([Value_6, ...Values_1]["length"] extends 0 ? {
+    string: import("./Union").Union<[import("./String").String<string>, import("./Undefined").Undefined]> & {
+        create<Value_5 extends string>(value: Value_5): import("./Union").Union<[import("./String").String<Value_5>, import("./Undefined").Undefined]>;
+        list<Value_6 extends string, Values_1 extends string[]>(value: Value_6, ...values: Values_1): import("./Union").Union<[...([Value_6, ...Values_1]["length"] extends 0 ? {
             result: [];
         } : [Value_6, ...Values_1]["length"] extends 1 ? {
-            result: [import("./types").Type<"string", Value_6>];
+            result: [import("./String").String<Value_6>];
         } : {
-            result: [import("./types").Type<"string", Value_6>, import("./types").Type<"string", [Value_6, ...Values_1][1]>, ...(import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>["length"] extends 0 ? {
+            result: [import("./String").String<Value_6>, import("./String").String<[Value_6, ...Values_1][1]>, ...(import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>["length"] extends 0 ? {
                 result: [];
             } : import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>["length"] extends 1 ? {
-                result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>[0]>];
+                result: [import("./String").String<import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>[0]>];
             } : {
-                result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>[0]>, import("./types").Type<"string", import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>>>["length"] extends 0 ? {
+                result: [import("./String").String<import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>[0]>, import("./String").String<import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>>>["length"] extends 0 ? {
                     result: [];
                 } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>>>["length"] extends 1 ? {
-                    result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>>>[0]>];
+                    result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>>>[0]>];
                 } : {
-                    result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>>>[0]>, import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>>>>>["length"] extends 0 ? {
+                    result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>>>[0]>, import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>>>>>["length"] extends 0 ? {
                         result: [];
                     } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>>>>>["length"] extends 1 ? {
-                        result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>>>>>[0]>];
+                        result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>>>>>[0]>];
                     } : {
-                        result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>>>>>[0]>, import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>>>>>>>["length"] extends 0 ? {
+                        result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>>>>>[0]>, import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>>>>>>>["length"] extends 0 ? {
                             result: [];
                         } : import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>>>>>>>["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_6, ...Values_1]>>>>>>>>[0]>];
+                            result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>>>>>>>[0]>];
                         } : {
-                            result: [import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>>>>>>>[0]>, import("./types").Type<"string", import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>>>>>>>>>["length"] extends 0 ? {
+                            result: [import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>>>>>>>[0]>, import("./String").String<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_6, ...Values_1]>>>>>>>>[1]>, ...(import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<import("..").Tail<[Value_6, ...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_6, ...Values_1]>>>>>>>>>>["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_6, ...Values_1]>>>>>>>>>>[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_6, ...Values_1]>>>>>>>>>>[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_6, ...Values_1]>>>>>>>>>>[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_6, ...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_6, ...Values_1]>>>>>>>>>>>>["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_6, ...Values_1]>>>>>>>>>>[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_6, ...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_6, ...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_6, ...Values_1]>>>>>>>>>>>>["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_6, ...Values_1]>>>>>>>>>>>>[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_6, ...Values_1]>>>>>>>>>>>>[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_6, ...Values_1]>>>>>>>>>>>>[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_6, ...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_6, ...Values_1]>>>>>>>>>>>>>>["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_6, ...Values_1]>>>>>>>>>>>>[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_6, ...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_6, ...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_6, ...Values_1]>>>>>>>>>>>>>>["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_6, ...Values_1]>>>>>>>>>>>>>>[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_6, ...Values_1]>>>>>>>>>>>>>>[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_6, ...Values_1]>>>>>>>>>>>>>>[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_6, ...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_6, ...Values_1]>>>>>>>>>>>>>>>>["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_6, ...Values_1]>>>>>>>>>>>>>>[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_6, ...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_6, ...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_6, ...Values_1]>>>>>>>>>>>>>>>>["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_6, ...Values_1]>>>>>>>>>>>>>>>>[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_6, ...Values_1]>>>>>>>>>>>>>>>>[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_6, ...Values_1]>>>>>>>>>>>>>>>>[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_6, ...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_6, ...Values_1]>>>>>>>>>>>>>>>>>>["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_6, ...Values_1]>>>>>>>>>>>>>>>>[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_6, ...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_6, ...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_6, ...Values_1]>>>>>>>>>>>>>>>>>>["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_6, ...Values_1]>>>>>>>>>>>>>>>>>>[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_6, ...Values_1]>>>>>>>>>>>>>>>>>>[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_6, ...Values_1]>>>>>>>>>>>>>>>>>>[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_6, ...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_6, ...Values_1]>>>>>>>>>>>>>>>>>>>>["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_6, ...Values_1]>>>>>>>>>>>>>>>>>>[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_6, ...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_6, ...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_6, ...Values_1]>>>>>>>>>>>>>>>>>>>>["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_6, ...Values_1]>>>>>>>>>>>>>>>>>>>>[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_6, ...Values_1]>>>>>>>>>>>>>>>>>>>>[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_6, ...Values_1]>>>>>>>>>>>>>>>>>>>>[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_6, ...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_6, ...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_6, ...Values_1]>>>>>>>>>>>>>>>>>>>>>>["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_6, ...Values_1]>>>>>>>>>>>>>>>>>>>>>>[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_6, ...Values_1]>>>>>>>>>>>>>>>>>>>>[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_6, ...Values_1]>>>>>>>>>>>>>>>>>>>>[1]>, ...any["result"]];
                                                 })["result"]];
                                             })["result"]];
                                         })["result"]];
@@ -333,12 +317,12 @@ export declare const O: {
                     })["result"]];
                 })["result"]];
             })["result"]];
-        })["result"], import("./types").Type<"undefined", undefined>]>;
+        })["result"], import("./Undefined").Undefined]>;
     };
-    symbol: import("./types").Type<"union", [import("./types").Type<"symbol", string>, import("./types").Type<"undefined", undefined>]>;
+    symbol: import("./Union").Union<[import("./Symbol").Symbol<string>, import("./Undefined").Undefined]>;
     tuple: {
-        create<Value_7 extends import("./AllType").AllType, Values_2 extends import("./AllType").AllType[]>(value: Value_7, ...values: Values_2): import("./types").Type<"union", [import("./types").Type<"tuple", [Value_7, ...Values_2]>, import("./types").Type<"undefined", undefined>]>;
+        create<Value_7 extends import("./AllType").AllType, Values_2 extends import("./AllType").AllType[]>(value: Value_7, ...values: Values_2): import("./Union").Union<[import("./Tuple").Tuple<[Value_7, ...Values_2]>, import("./Undefined").Undefined]>;
     };
-    undefined: import("./types").Type<"undefined", undefined>;
-    unknown: import("./types").Type<"unknown", undefined>;
+    undefined: import("./Undefined").Undefined;
+    unknown: import("./Unknown").Unknown;
 };