Enhancing the Python ecosystem with type checking and free threading