Definitinos of more MIR instructions.