[jdk16] RFR: JDK-8258338: Support deprecated records

[Jonathan Gibbons]

Relatively simple update to fix an oversight in the support for records. `RECORD` was not added to `DeprElementKind` with the derivative downstream updates.

-------------

Commit messages:
 - JDK-8258338: Support deprecated records

Changes: https://git.openjdk.java.net/jdk16/pull/29/files
 Webrev: https://webrevs.openjdk.java.net/?repo=jdk16&pr=29&range=00
  Issue: https://bugs.openjdk.java.net/browse/JDK-8258338
  Stats: 84 lines in 5 files changed: 83 ins; 0 del; 1 mod
  Patch: https://git.openjdk.java.net/jdk16/pull/29.diff
  Fetch: git fetch https://git.openjdk.java.net/jdk16 pull/29/head:pull/29

PR: https://git.openjdk.java.net/jdk16/pull/29