Nuevos casos de prueba y se hace chequeo de tipos

aun cuando hay errores de sintaxis.