Eliminados la mayoria de los warnings. Agregado codigo de tres
direcciones para los arreglos. Importante: Hay problemas con el
verificador de tipos de los arreglos por valor.