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