Fixup. Will merge
Fix expected type when typechecking map