Adding Records
代码语言：javascript复制t ::= Terms:
| {i1=t1, ..., in=tn} record
| t.i projection
| ...
v ::= Values:
| {i1=v1, ..., in=vn} record value
| ...
T ::= Types:
| {i1:T1, ..., in:Tn} record type
| ...
