Record Pattern

record-pattern ::= 'rec' '{' (record-pattern-field (',' record-pattern-field)* ','?)? '}'
record-pattern-field ::= code-identifier ':' pattern