SCORU: The type `input` for inbox messages should be compatible for the DAL

The current type input in Sc_rollup_PVM_sem module can be extended in a retro-compatible way for the DAL. A simple solution is to put it behind a variant.