Implementando retornos implcitos
Corrigiendo bug al generar expr booleanas
Agregando specs para iteracion y colecciones