This makes DuplicateRecordFields more liberal in when it will
accept ambiguous record selectors, making use of type information in a
similar way to updates. See Note [Disambiguating record fields] for more
details (and I'll update the wiki page when I have time)...
It builds on D1331 because I'm lazy.