mypy

[wip] PyREPL: Add ctrl+up/down for multiline history #21929

Job	Run time
Run mypy on Lib/_pyrepl	15s
Run mypy on Lib/test/libregrtest	19s
Run mypy on Tools/cases_generator	13s
Run mypy on Tools/build	20s
Run mypy on Lib/tomllib	17s
Run mypy on Tools/jit	19s
Run mypy on Tools/peg_generator	12s
Run mypy on Tools/check-c-api-docs	20s
Run mypy on Tools/clinic	18s
	2m 33s

Provide feedback