Refactor and document conditional type binder

Conditional type binder (mypy's version of abstract interpreter) is one of the trickiest part of mypy. It would be great to clean-up its implementation and document the current behaviour. As and optional additional related thing (or a follow-up step), I would propose to refactor/rethink partial types (that IMO should be handled by the binder).

まず、mypy の条件付き型 binder を特定し、現在の実装とテストを読んでください。partial types を binder で扱うべきかどうかを検討する前に、既存の動作を文書化し、クリーンアップの範囲を定義してください。完了条件は、binder の動作が文書化され、実装がより明確になっていることです。partial-type redesign が必要な場合は、別の follow-up として扱ってください。