Limpieza del codigo. 
Incorporacion de verificaciones de tipos en expresiones aritmeticas y
logicas, que estaba comentado.
Entrega 2