Agregada la verificacion de tipos para el if simple y el incremento
Agregado un campo para el tipo.

En la clase Node se agrego un campo para el tipo, ademas de
un constructor para incializarlo.
Modifcada la clase Empty.

Se agrego un constructor para la clase Empty que recibe un ErrorType.