Add new "types" map to smir json#46

jberthold merged 3 commits intomasterruntimeverification/stable-mir-json:masterfrom

guy/json-type-mapruntimeverification/stable-mir-json:guy/json-type-mapCopy head branch name to clipboard