TypeNames: (
| "string"
| "number"
| "bigint"
| "boolean"
| "symbol"
| "undefined"
| "object"
| "optional"
| "int"
| "null"
| "void"
| "never"
| "any"
| "unknown"
| "date"
| "record"
| "file"
| "array"
| "tuple"
| "union"
| "intersection"
| "map"
| "set"
| "enum"
| "literal"
| "nullable"
| "nonoptional"
| "success"
| "transform"
| "default"
| "prefault"
| "catch"
| "nan"
| "pipe"
| "readonly"
| "template_literal"
| "promise"
| "lazy"
| "custom"
)[] = ...