Terminado analizador semantico

Se termino toda la comparación de tipos