Fix bugs related to printing types#661

Vipul-Cariappa merged 2 commits intocompiler-research:maincompiler-research/CppInterOp:mainfrom

Vipul-Cariappa:dev/type-printingVipul-Cariappa/CppInterOp:dev/type-printingCopy head branch name to clipboard