MIRLangRef: Add documentation for the global value machine operands.