TxMessageType:
| { name: "configure"; type: "Configure" }
| { name: "upgrade"; type: "Upgrade" }
| { name: "transfer"; type: "Transfer" }
| { name: "upload"; type: "Upload" }
| { name: "instantiate"; type: "Instantiate" }
| { name: "execute"; type: "Execute" }
| { name: "migrate"; type: "Migrate" }