Estadísticas de Reasoning tradeoffs in languages with enhanced modularity features