Actualizando el lenguaje para que se ajuste a la especificación. Acomodando el typechecker y evaluador.