fix(types): preserve TypeScript semantics in type renderer

- Reference types now include generic type arguments
  (e.g. {Map} → {Map<string, number>})
- Tuple types now render as tuple syntax instead of union
  (e.g. {number|number|number} → {[number, number, number]})
- Conditional types now preserve check/extends/true/false branches
  instead of collapsing to a union of true|false
- Optional tuple members now render with trailing '?' suffix
- IndexedAccess types now render as T[K] instead of just T

Fixes #30

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

Author: sujalgoel