Add Or Fix Type Checking

Input

• <target>: module or directory to type-check (if known).
• Optional make typing or CI output showing typing failures.

Workflow

1. Identify scope from the failing run:

   • If you already have make typing or CI output, extract the failing file/module paths.
   • If not, run:

     make typing
     

   • Choose the narrowest target that covers the failures.

2. Run ty check for the target to get a focused baseline: