MIRLangRef: Describe the syntax that is used to represent machine basic blocks.