Syntax of records

Construction

E1 ... E2
-------------------
{q1:E1, ..., qn:En}

Access

E
---
E.q