Acciones semánticas: Comprobaciones de tipos en Sentencias IF y For.
Código muy sucio con comentarios para debug.

Fase siguiente: declaracionSubprogramas