gh-114058: Foundations of the Tier2 redundancy eliminator

[Fidget-Spinner]

This sets up the tier 2 optimizer's redundancy eliminator foundations.

It does the following:

• Aliasing information for types (not on all expressions though, that is too expensive)
• Basic Type propagation
• Basic Guard elimination

It's basically a port of #114059 over using Mark's DSL. Constant propagation and a lot of type propagation rules torn out, for the sake of simpler code for now. We can easily add more later. I just want to get the foundations in.

I expect no speedups for this, as for simpler reviewing, most of the code is torn out. However, I believe that #114059 already shows this approach has potential for speedups.

• Issue: Tier 2 optimizer's abstract interpreter #114058