Continuacion de verificacion de tipos.

Terminada la verificación para el if simple.
Temrinada la verificación para la clase DefVarWithInit.
Comencé la de la asignación pero no la terminé.