[Hackage] #340: Deprecate RecordPuns and translate NamedFieldPuns for older ghc