Typist: Type Comparisons & Verdicts

Learning Goals:

• • Use $Equal<T1, T2> for exact type equality checks
• • Apply $Extends<L, R> for assignability testing
• • Understand the verdict system ($Yes/$No)
• • Create compile-time assertions with yes_() and no_()
• • Build type test suites using test_() patterns
• • Debug type relationships using structured verdicts