Write migration for continuation
Write a migration for the type continuation
from Michelson https://nomadic-labs.gitlab.io/coq-tezos-of-ocaml/docs/proto_alpha/simulations/script_typed_ir/#With_family.continuation
You can look at https://gitlab.com/nomadic-labs/coq-tezos-of-ocaml/-/issues/359 as this is a similar task.