Overall I like this PEP and am fine with the decision to postpone
consideration of changes of the arguments with maybe one caveat: I'd
like to be at least reasonably confident that this mechanism can be
*extended* into handling parameter modification. It would be
unfortunate if we end up with a ton of distinct ways to type
decorators.