Replace TypeName with TypeId

This PR replaces the existing TypeName system with a new TypeId implementation that provides richer and more expressive type metadata.

The new design supports advanced type modeling features such as type aliases, opaque types, structural types, and complete ownership chains, enabling more accurate and future-proof type representation across the codebase.

Key Changes

  • Introduced a new typeid module containing:
    • TypeId
    • Owner
    • TypeParam
    • TypeRepr
    • Member
  • Added cross-version macro support for:
    • Scala 2.13
    • Scala 3.3+
  • Updated the schema module to use TypeId[A] instead of TypeName
  • Removed deprecated TypeName and Namespace classes

Fixes #471 /claim #471

Claim

Total prize pool $3,000
Total paid $0
Status Pending
Submitted December 19, 2025
Last updated December 19, 2025

Contributors

PR

Pranjal Negi

@Pranjal6955

100%

Sponsors

ZI

ZIO

@ZIO

$3,000