Spec: `Final` section could use better definition for `Final` vs. `Final[X]`

Came up in #2353: Currently, the syntax section for Final uses the following definitions:

Final may be used in one of several forms:

• With an explicit type, using the syntax Final[<type>] [...]
• With no type annotation. [...]

As @carljm points out, these definitions are not great. I suggest to give them better names and use those consistently in the spec (and elsewhere). Carl used "bare" for the latter case, which I like. Maybe "explicitly typed" for the former? "When using a bare Final ..." or "When using an explicitly typed Final ..."

Beginne mit dem Syntaxabschnitt der Spezifikation für Final und durchsuche die Spezifikation sowie die zugehörige Dokumentation nach den vorhandenen Beschreibungen von Final und Final[X]. Als erledigt gilt die Aufgabe, wenn die beiden Formen klar und einheitlich benannte Definitionen haben, in denen Begriffe wie „unqualifiziert“ und „explizit typisiert“ verwendet werden, ohne dass an anderer Stelle widersprüchliche Formulierungen verbleiben.