Callable allows variadic args

[JelleZijlstra]

The spec claims "The Callable form provides no way to specify keyword-only parameters, variadic parameters, or default argument values."

In fact, PEP-646 syntax allows spelling a Callable type with variadic positional arguments, as specified here. We should edit the spec to clarify this.

[JelleZijlstra]

Fixed by #2164