RFR: JDK-8281169: Expand discussion of elements and types [v2]

[Pavel Rappo]

On Tue, 15 Aug 2023 17:26:39 GMT, Maurizio Cimadamore <mcimadamore at openjdk.org> wrote:

> prototypical type

FWIW, that term is used multiple times in that package. Maybe it's worth defining and `{@index}`-ing, in a separate PR?

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

PR Review Comment: https://git.openjdk.org/jdk/pull/15097#discussion_r1295672902