Propagate range information across rearrange.
Remove unused redomap arguments.
Run simplifier MORE!

(This sucks.)
Fixes to predicate optimisation.