Resolve "dry-run fails with Tezos.self "%entrypoint""

parameter_ty is now propagated, and a dummy contract is pushed to the state. But the example is still not working

Closes #180 (closed)