Implement "record dot syntax"
This ticket exists to track the work on the implementation of `RecordDotSyntax`.
- The proposal being implemented is [ghc-proposals#282](https://github.com/ghc-proposals/ghc-proposals/pull/282);
- Related works are detailed in the [`Overloaded Record Fields meta-ticket`](https://gitlab.haskell.org/ghc/ghc/-/issues/18598);
- The work is on branch `wip/T18599`.
issue