MIRLangRef: Describe the syntax for machine instruction names and flags.