Invalid hugr compilation with hopes #96
Description
When we solve things with unification, we don't have a good story for how it feeds into compilation.
This is the root cause of #85, and some work was done 01/12/25 -- 03/12/25 towards fixing it. Namely, we should create Hypo nodes for numbers that we solve during unification - rather than Id nodes - and we should keep track of what they are so that in unification we can feed in the right values. In PatternMatch nodes we should rewrite all of the usual inputs in terms of the pullback if we made one.
This has been shelved for now, but keeping the issue here so that it can be referred to.