Definition the simulation of the IView instruction

In https://nomadic-labs.gitlab.io/coq-tezos-of-ocaml/docs/simulations/script_interpreter define the simulation of the IView instruction for the dep_step function. A difficulty with this instruction is that we need to handle the equality GADT for ty.