Revise Pyrefly overview in types.md #2246

Job	Run time
Check types using supported type checkers	19s
Build & verify package	21s
Verify dev env	12s
Run doctests & render changelog	19s
Tests on pypy-3.10	15s
Tests & Mypy on 3.11	41s
Tests & Mypy on 3.13	47s
Tests & Mypy on 3.10	51s
Tests & Mypy on 3.12	52s
Tests & Mypy on 3.15	1m 47s
Tests & Mypy on 3.14	1m 0s
Tests & Mypy on 3.9	42s
Combine & check coverage	14s
Ensure everything required is passing for branch protection	4s
	8m 24s

Provide feedback