[Git][ghc/ghc][wip/romes/27514] Rule-based downsweep with structured concurrency