mypy

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

Job	Run time
Run mypy on Tools/build	6s
Run mypy on Tools/cases_generator	6s
Run mypy on Lib/test/libregrtest	7s
Run mypy on Lib/_pyrepl	6s
Run mypy on Tools/peg_generator	7s
Run mypy on Tools/clinic	6s
Run mypy on Lib/tomllib	5s
Run mypy on Tools/jit	6s
	49s

Provide feedback