WIP: Add tests for type checking in Michelson
See: https://gitlab.com/nomadic-labs/tezos/-/issues/186
This is a package of test following the types in http://tezos.gitlab.io/master/whitedoc/michelson.html
Check whether the type given is exactly the type expected.
This MR is similar to !1939 (closed) but is based on unit tests.
Edited by Arvid Jakobsson