Enhancing the Python ecosystem with type checking and free threading

engineering.fb.com