Introduce "type names" section to the style guide

documentation/style-guide.rst

@@ -58,6 +58,35 @@ of these entities are not assigned any special markup, but the preferred
 spellings are given in :ref:`specific words` to aid authors in maintaining the
 consistency of presentation in the Python documentation.
 
+
+Use simple language
+===================
+
+Avoid esoteric phrasing where possible.  Our audience is world-wide and may not
+be native English speakers.
+
+Don't use Latin abbreviations like "e.g." or "i.e." where English words will do,
+such as "for example" or "that is."
+
+
+Charged terminology to avoid
+============================
+
+Avoid terminology that may be considered insensitive or exclusionary.
+
+.. list-table::
+   :header-rows: 1
+
+   * - Avoid
+     - Instead
+   * - whitelist
+     - allowlist
+   * - blacklist
+     - blocklist, denylist
+   * - master/slave
+     - main, parent/child, server/client, primary/secondary
+
+
 .. _specific words:
 
 Specific words
@@ -116,32 +145,25 @@ Unix
    1970s.
 
 
-Use simple language
-===================
+Type names
+==========
 
-Avoid esoteric phrasing where possible.  Our audience is world-wide and may not
-be native English speakers.
-
-Don't use Latin abbreviations like "e.g." or "i.e." where English words will do,
-such as "for example" or "that is."
-
-
-Charged terminology to avoid
-============================
+When writing the names of types in prose, write the name of the type
+exactly as it appears in source, styled as a class reference or an unlinked
+class.  For example, refer to dict as ``:class:`dict`‌`` or ``:class:`!dict`‌``.
 
-Avoid terminology that may be considered insensitive or exclusionary.
+Links should be used according to the :ref:`guidance on links <links>`.
 
-.. list-table::
-   :header-rows: 1
+Some type names are commonly understood ideas or nouns outside of Python.
+For example, "tuples" are a general programming concept, as distinct from the
+``tuple`` type.  When referring to general ideas, do not style the relevant word
+as a type.
 
-   * - Avoid
-     - Instead
-   * - whitelist
-     - allowlist
-   * - blacklist
-     - blocklist, denylist
-   * - master/slave
-     - main, parent/child, server/client, primary/secondary
+Many types have descriptive names which do not exactly match their type
+name.  For example, "context variables" describes ``contextvars.ContextVar``,
+and "partial function" may be used to describe an application of
+``functools.partial``.  Use these names only when they serve to clarify the text
+better than the type name itself would, and put them in lowercase.
 
 
 .. index:: diataxis
@@ -190,6 +212,8 @@ Please consult the `Diátaxis <https://diataxis.fr/>`__ guide for more
 detail.
 
 
+.. _links:
+
 Links
 =====