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.