Verificacion completa de retornos.

1) Ahora sí hay chequeo completo de retornos a funciones.

2) Agregado el chequeo completo de la clase TagWhile.