I'm using HIR to refer to instructions like bv-f32-ref while MIR to refer to instructions which are introduced to "explode" that instruction By having both, ra

I'm using HIR to refer to instructions like bv-f32-ref while MIR to refer to instructions which are introduced to "explode" that instruction By having both, rather than choosing between the two as is discussed in the blog, one can have the decision be more akin to a compiler's inlining heuristics