Implement "record dot syntax".
- The proposal being implemented is https://github.com/ghc-proposals/ghc-proposals/pull/282;
- Work tracked in issue "Implement 'record dot syntax'" #18599 (closed);
- See also the "Overloaded record fields meta-ticket" issue #18598.