Record dot syntax

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 (closed).