As we get memory support, we'll want support for both an explicit `poison` value at the IR level, and also the `freeze` instruction
As we get memory support, we'll want support for both an explicit
poisonvalue at the IR level, and also thefreezeinstruction