mypy

gh-138122: Integrate live profiler TUI with _colorize theming system … #10015

Job	Run time
Run mypy on Tools/cases_generator	20s
Run mypy on Tools/build	18s
Run mypy on Lib/_pyrepl	22s
Run mypy on Tools/check-c-api-docs	18s
Run mypy on Lib/test/libregrtest	20s
Run mypy on Tools/jit	21s
Run mypy on Tools/clinic	18s
Run mypy on Lib/tomllib	18s
Run mypy on Tools/peg_generator	16s
	2m 51s

Provide feedback