Continúa la implementación de la Verificación de Tipos.

> Expresiones y átomos listos.

-Maik