Se valida semanticamente para todos los tipos primitivos.
Se genera codigo para for, while, repeat, asignacion, if/else