as it was not proven to be necessary
if
match
as current instruction dialect has no such concepts
in fact, that's not the initial version at all -- it had gone, through, like, 10 rewrites at this point I just plan to experiment quite a bit with it now, hence saving this almost-functional version bytecode flow is hard :/
