Gets rid of typing rule for record identifiers#4380

mikesol wants to merge 1 commit intopurescript:masterpurescript/purescript:masterfrom

mikesol:get-rid-of-typing-rule-for-record-identifiermikesol/purescript:get-rid-of-typing-rule-for-record-identifierCopy head branch name to clipboard