fix(printer): record closure Ty in type table after instance traversal#129

automergerpr-permission-manager[bot] merged 12 commits into

masterruntimeverification/stable-mir-json:masterfrom

jh/closure-type-metadataruntimeverification/stable-mir-json:jh/closure-type-metadataCopy head branch name to clipboard