TypedPython: M2 IR to C on desktop

Typed IR -> verify -> C -> desktop CPython extension (#41). Scalars, calls, native arrays for list[float]/list[int]; nbody and spectral-norm >= 10x measured alone; demo identical on all 5 benchmarks; incremental cache; ASan/UBSan in CI.