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

Empieza por localizar el binder de tipos condicionales de mypy y leer su implementación y sus pruebas actuales. Documenta el comportamiento existente y define el alcance de la limpieza antes de considerar si el binder debería gestionar los tipos parciales. Se considera terminado cuando el comportamiento del binder está documentado y su implementación es más clara; cualquier rediseño de los tipos parciales debe tratarse como un seguimiento separado si es necesario.