InboundHrmpMessage: $.Input<typeof $InboundHrmpMessage>