Mongos needs to send both of these commands when committing a sharded transaction, so they should have IDL types. The name for coordinateCommitTransaction, the command mongos sends to the coordinator shard to hand off the participant list, should also be finalized.