docs: Improve TypeId reference documentation with mdoc and examples

[khajavi]

Summary

Significantly improved the TypeId reference documentation to comply with ZIO Blocks standards:

• Code blocks: Converted 40+ inline result comments to live mdoc evaluation using mdoc:silent + mdoc pattern
• Structure: Removed redundant # TypeId h1 heading (Docusaurus uses frontmatter)
• Motivation: Added Overview section with ASCII diagram showing TypeId's role in the ZIO Blocks stack
• Comparison: New "TypeId vs Related Concepts" section comparing to ClassTag, Class, TypeTag
• Examples: Added "Running the Examples" section with commands for all three apps
• Runnable examples: Created three self-contained App objects in schema-examples/src/main/scala/typeid/:
  • TypeIdBasicExample: Basic derivation and property access
  • TypeIdSubtypingExample: Inheritance relationships and variance-aware subtyping
  • TypeIdNormalizationExample: Type aliases, normalization, and erased TypeIds

All examples use ShowExpr.show() for self-documenting output that displays both source code and results.

Verification

• ✅ sbt docs/mdoc: 0 errors, 50 warnings (unrelated)
• ✅ sbt schema-examples/compile: All examples compile successfully
• ✅ All three examples run and produce correct output

Test plan

• Verify documentation renders correctly in the website
• Run each example manually to confirm output
• Check that mdoc examples stay in sync with API changes

🤖 Generated with Claude Code

[Copilot]

Pull request overview

This PR enhances the TypeId reference documentation by replacing static “expected output” comments with mdoc-evaluated snippets, adding clearer conceptual sections, and providing runnable Scala example apps to demonstrate TypeId behavior.

Changes:

• Updated docs/reference/typeid.md with mdoc-backed examples, an overview diagram, conceptual comparisons, and instructions for running examples.
• Added three new runnable TypeId example apps under schema-examples/src/main/scala/typeid/.
• Introduced a new derivation override example app plus additional repo artifacts (default.nix, .zio-sbt/.../.last_fetch).

Reviewed changes

Copilot reviewed 7 out of 12 changed files in this pull request and generated 5 comments.

Show a summary per file

File	Description
docs/reference/typeid.md	Expanded TypeId reference page with mdoc blocks, new sections, and run instructions.
schema-examples/src/main/scala/typeid/TypeIdBasicExample.scala	New runnable example covering derivation and basic TypeId properties.
schema-examples/src/main/scala/typeid/TypeIdSubtypingExample.scala	New runnable example demonstrating subtype/supertype checks and variance-aware applied type checks.
schema-examples/src/main/scala/typeid/TypeIdNormalizationExample.scala	New runnable example demonstrating alias normalization and erased TypeIds for registries.
schema-examples/src/main/scala/deriveroverrides/CompleteExample.scala	New runnable example showing derivation instance override resolution order.
default.nix	Adds a Nix dev shell configuration.
.zio-sbt/github-data/.last_fetch	Adds a tooling state timestamp file.

[khajavi]

Fixed in 790d81d - changed to sealed trait TypeId[A <: AnyKind] to accurately reflect the actual API structure.

[khajavi]

Fixed in 790d81d - marked as simplified example with note about actual API having additional parameters (binding, doc, modifiers).

[khajavi]

Fixed in 790d81d - updated to use TypeId.alias[UserId] for proper phantom type parameterization and type-safety.

[khajavi]

Fixed in 790d81d - removed default.nix and .zio-sbt/ generated files. These were accidentally committed and are not part of the TypeId documentation scope. These changes address feedback from both Copilot and khajavi.