Advertencias, un flujo de Verificación más estricto, y módulos más nuevos