feat: ensure SMIR export records function item types#104

Stevengre wants to merge 1 commit into

masterruntimeverification/stable-mir-json:masterfrom

fix-missing-function-type-metadataruntimeverification/stable-mir-json:fix-missing-function-type-metadataCopy head branch name to clipboard