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).

Inizia individuando il binder dei tipi condizionali di mypy e leggendo la sua implementazione e i test attuali. Documenta il comportamento esistente e definisci l'ambito della pulizia prima di valutare se il binder debba gestire i tipi parziali. Il lavoro è completato quando il comportamento del binder è documentato e la sua implementazione è più chiara; qualsiasi riprogettazione dei tipi parziali va trattata come follow-up separato, se necessario.