RFR: JDK-8175386: Clarify exception behavior of Types utility methods [v4]

[Joe Darcy]

> Incremental improvements and clarifications in the specification of Types.

Joe Darcy has updated the pull request with a new target base due to a merge or a rebase. The incremental webrev excludes the unrelated changes brought in by the merge/rebase. The pull request contains four additional commits since the last revision:

 - Merge branch 'master' into JDK-8175386
 - Implement review feedback.
 - Fix typo found in code review.
 - JDK-8175386: Clarify exception behavior of Types utility methods

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

Changes:
  - all: https://git.openjdk.org/jdk/pull/17523/files
  - new: https://git.openjdk.org/jdk/pull/17523/files/9aa3b2fa..c7433074

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=jdk&pr=17523&range=03
 - incr: https://webrevs.openjdk.org/?repo=jdk&pr=17523&range=02-03

  Stats: 4985 lines in 319 files changed: 3563 ins; 691 del; 731 mod
  Patch: https://git.openjdk.org/jdk/pull/17523.diff
  Fetch: git fetch https://git.openjdk.org/jdk.git pull/17523/head:pull/17523

PR: https://git.openjdk.org/jdk/pull/17523