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 ..."

Bắt đầu với phần cú pháp của đặc tả dành cho Final và tìm trong đặc tả cũng như tài liệu liên quan các mô tả hiện có về Final và Final[X]. Được xem là hoàn tất khi hai dạng này có các định nghĩa rõ ràng, được đặt tên nhất quán, sử dụng các thuật ngữ như “bare” và “được kiểu hóa một cách tường minh”, mà không còn cách diễn đạt mâu thuẫn ở nơi khác.