This pull request fixes one or two typos in PEP 586. It also slightly adjusts the wording of the section on type inference as suggested here: https://github.com/Michael0x2a/peps/pull/1#discussion_r265795433