Semi-formal spec: record fields

1. Specified translation for record fields.
2. Updated specification of translation of lvalues for record fields.
3. Improved description of translation for records.
4. Small changes to B AST specification table.