Continuacion del chqueo de tipos.

1) Agregado el chequeo de tipos para el write y el if simple.
2) Encontré y resolví un bug con el chequeo del while.
3) La clase HormigueroType ya no es singleton, modifiqué
   el parser y el driver para adaptarse a esto.