My hope is that Guido's plan to incorporate the type declaration module (`types`, a subcomponent of mypy) will encourage the Python team to clean up the issues

My hope is that Guido's plan to incorporate the type declaration module (`types`, a subcomponent of mypy) will encourage the Python team to clean up the issues brought up in TFA.