On python-ideas I wrote this:
At the same time -- let me emphasize this one more time -- I hope there
will never be a time in the future where type hints are mandatory or
otherwise always expected to exist.
It was remarked that this should be stated clearly in the PEP. (Perhaps also other stuff I wrote in the same message.)