`whileOp` reduction into `reduce`

```julia
s = ...
for i in 1:size(x, 2)
s += x[:, i, :]
end
return s
```

into

```julia
return reduce(+, x; dims=2)
```

We already have the unrolled version. This one is much easier to lift with the loop fission pass