Syntax extension to define first class values representing record fields, to get and set record fields, iterate and fold over all fields of a record and create new record values