Fix required tag interpretation for map fields#15

hi-rai merged 1 commit intomainHypersequent/zen:mainfrom

fix-required-map-fieldsHypersequent/zen:fix-required-map-fieldsCopy head branch name to clipboard