TypeName with TypeIdThis 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.
typeid module containing:
TypeIdOwnerTypeParamTypeReprMemberTypeId[A] instead of TypeNameTypeName and Namespace classesFixes #471 /claim #471
Pranjal Negi
@Pranjal6955
ZIO
@ZIO