Structs

This struct represents a patch to MIR, which can add new statements and basic blocks and patch over block terminators.