feat!: introduce Display trait with extensible type printing (#85)

Replace Print<T> with Display<T> and establish KitTraits global namespace
for type-level traits.

Changes:
- Add KitTraits.Display.Handlers<$Type> extensible interface
- Move display.ts to src/utils/ts/traits/ for clear trait organization
- Co-locate built-in handlers in domain modules (arr, prom, fn, obj, str, time)
- Update imports to use #ts/ts pattern
- Rename Print → Display, ShowHandlers → Handlers

BREAKING CHANGE: Print<T> renamed to Display<T>, KitLibrarySettings.Print
namespace replaced by KitTraits.Display

Author: jasonkuhrt

src/domains/arr/arr.ts

@@ -234,3 +234,24 @@ export const transpose = <$T>(rows: readonly (readonly $T[])[]): $T[][] => {
 }
 
 // TODO: Add immutable array operations that wrap ArrMut with copy semantics
+
+/**
+ * Display handlers for Array types.
+ * @internal
+ */
+import type { Display } from '#ts/ts'
+declare global {
+  namespace KitTraits.Display {
+    // dprint-ignore
+    interface Handlers<$Type> {
+      // Array (mutable)
+      _array: $Type extends (infer __element__)[] ? `Array<${Display<__element__>}>` : never
+      // ReadonlyArray - only matches if NOT also a mutable array
+      _readonlyArray: $Type extends readonly (infer __element__)[]
+        ? $Type extends (infer __unused__)[]
+          ? never  // It's mutable, let _array handler win
+          : `ReadonlyArray<${Display<__element__>}>`
+        : never
+    }
+  }
+}

src/domains/fn/fn.ts

@@ -9,3 +9,15 @@ export * as Kind from './kind.js'
 export * from './partial/__.js'
 export * from './pipe.js'
 export * from './predicates.js'
+
+/**
+ * Display handler for Function type.
+ * @internal
+ */
+declare global {
+  namespace KitTraits.Display {
+    interface Handlers<$Type> {
+      _function: $Type extends Function ? 'Function' : never
+    }
+  }
+}

src/domains/obj/obj.ts

@@ -344,3 +344,15 @@ export type ToParametersExact<
 export type PropertyKeyToString<$Key extends PropertyKey> = $Key extends string ? $Key
   : $Key extends number ? `${$Key}`
   : never
+
+/**
+ * Display handler for symbol type.
+ * @internal
+ */
+declare global {
+  namespace KitTraits.Display {
+    interface Handlers<$Type> {
+      _symbol: $Type extends symbol ? 'symbol' : never
+    }
+  }
+}

src/domains/prom/prom.ts

@@ -264,3 +264,16 @@ export function maybeAsync<T, R = T, E = unknown>(
 
   return envelope.value as any
 }
+
+/**
+ * Display handler for Promise type.
+ * @internal
+ */
+import type { Display } from '#ts/ts'
+declare global {
+  namespace KitTraits.Display {
+    interface Handlers<$Type> {
+      _promise: $Type extends Promise<infer __value__> ? `Promise<${Display<__value__>}>` : never
+    }
+  }
+}

src/domains/str/match.ts

@@ -245,3 +245,15 @@ export const isNotMatchAnyOn = Fn.curry(isNotMatchAny)
  * @returns Function that takes a value and returns boolean
  */
 export const isNotMatchAnyWith = Fn.flipCurried(isNotMatchAnyOn)
+
+/**
+ * Display handler for RegExp type.
+ * @internal
+ */
+declare global {
+  namespace KitTraits.Display {
+    interface Handlers<$Type> {
+      _regExp: $Type extends RegExp ? 'RegExp' : never
+    }
+  }
+}

src/domains/time/duration.ts

@@ -83,3 +83,15 @@ export const format = (milliseconds: number): Formatted => {
 
   return { value, unit }
 }
+
+/**
+ * Display handler for Date type.
+ * @internal
+ */
+declare global {
+  namespace KitTraits.Display {
+    interface Handlers<$Type> {
+      _date: $Type extends Date ? 'Date' : never
+    }
+  }
+}

src/utils/ts/__.ts

@@ -1,6 +1,6 @@
 export * from './ts.js'
 
-export * from './print.js'
+export * from './traits/display.js'
 
 // @ts-expect-error Duplicate identifier
 export * as SimpleSignature from './simple-signature.js'