Remove `FunType` from `TypeInfo` metadata#70

jberthold wants to merge 1 commit intomasterruntimeverification/stable-mir-json:masterfrom

WORKAROUND-remove-fun-type-metadataruntimeverification/stable-mir-json:WORKAROUND-remove-fun-type-metadataCopy head branch name to clipboard