Draft: Proof of concept for "outlining" core alternatives.
Proof of concept for one approach to #20681
Naturally the logic would fit better in CSE but for now I put it into the simplifier because being in SimplM means we do have a unique supply around.
Probably needs quite a lot of polish, and most of all benchmarking.