Python builtin types clash with Guppy builtin types in Sphinx cross-references

Python has builtin types for its most primitive data, e.g. str, bool, int and so on. Guppy has some too, and they share the same name, but are not exactly the same. Most of the time, functions that construct Guppy code want to accept the Python variant.

When the Sphinx doc is built, the generated links on the type annotations (e.g. on the @guppy decorator page) do not point to the Python builtin (like they do on https://www.sphinx-doc.org/en/master/usage/domains/python.html#python-signatures for example), but instead point to the Guppy definition:

Since we already define the intersphinx mapping for python:, we shall use python:int and similar to mitigate this in all places.

Search the Sphinx documentation sources for type annotations on the @guppy decorator page and other builtin-type references, then inspect the existing intersphinx mapping for python:. Confirm completion by rebuilding the docs and checking that links for str, bool, int, and similar annotations resolve to Python’s builtin definitions rather than Guppy definitions.