Implement an analog of map_instance_to_supertype() for protocol supertypes

In certain situation (like e.g. when dealing with *args) we want to know what are the type arguments of a generic protocol that a given type implements. Currently this is done in ad-hoc way in few places, but it would be great to have a dedicated helper.

This will also help with some advanced issues like https://github.com/python/mypy/issues/3829

まず、map_instance_to_supertype() と、ジェネリックプロトコルに対する既存のアドホックな処理、特に *args が関わる経路を見つけます。issue #3829 の関連する議論を読み、現在プロトコルの型引数がどのように推論されているかを追跡します。専用のヘルパーによってプロトコルのスーパータイプに対する同等のマッピングが提供され、関連するアドホックなケースでそれを使用できるようになれば完了です。