Semántico.Declaración de tipos: Se verifica que los Record definidos no
estén duplicados (si existen ya en la tabla de tipos da error). 
Dentro de cada Record, se controla que el tipo de las variables
definidas exista (tipo Simple: Boolean, Integer; o bien tipo Record ya
definido).

Declaración sentenciaIO (Put_line): Elimino noterminal parámetro (lo
separo en dos reglas de producción en la declaración de sentenciaIO.