Type abstraction in face of field labels

Ha, funny: I took that comment to be talking about something else entirely. Namely:

  • coping with same-named fields in different datatypes (AllowDuplicateFields); with
  • introducing . syntax for field access; so
  • combining those for (in effect) type-driven despatch of the ambiguous usage of ..