Draft: Guillaume claret@106 encodings in sc rollup repr v

With fix commit to be cherry-picked for https://gitlab.com/nomadic-labs/coq-tezos-of-ocaml/-/merge_requests/429