Refactor Miri ops (unary, binary) to have more types#63658

bors merged 3 commits intorust-lang:masterrust-lang/rust:masterfrom

RalfJung:miri-opRalfJung/rust:miri-opCopy head branch name to clipboard