Translator simulations 20-29
Write the simulation definitions and proofs for the cases 20-29 in https://nomadic-labs.gitlab.io/coq-tezos-of-ocaml/docs/status/simulations
Write the simulation definitions and proofs for the cases 20-29 in https://nomadic-labs.gitlab.io/coq-tezos-of-ocaml/docs/status/simulations