docs: list ADR-061 composition + publication-graph shapes in std_types overview

The std_types module-level overview enumerated only the baseline
primitives under "First-class prism-defined surface"; it never gained
the RouteShape/RevocationShape publication-graph shapes or the five
ADR-061 composition shapes added in 0.3.3 / 0.4.0. Add both groups to
the layered-catalog overview so the module header is a complete index
of the prism-defined surface. Docs-only; no API or behavior change.

Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>

Author: afflom

crates/uor-prism/src/std_types.rs

@@ -25,6 +25,18 @@
 //! - **First-class prism-defined surface.** [`FixedSites<N>`],
 //!   [`Bytes<N>`], and the byte-aligned numeric / character / boolean
 //!   primitives (`U8` … `I256`, `F32`, `F64`, `Bool`, `Char`).
+//! - **Decentralized publication-graph shapes.** [`RouteShape`] and
+//!   [`RevocationShape`] — the typed-distinction surfaces for publishing
+//!   and revoking routes to UOR-addressed content over a `UorTime`
+//!   validity window.
+//! - **Composition shapes (ADR-061).** [`G2ProductShape<N>`][G2ProductShape]
+//!   (binary product, `SITE_COUNT = 2N`), the operand-preserving unary
+//!   [`F4QuotientShape<N>`][F4QuotientShape] /
+//!   [`E7AugmentationShape<N>`][E7AugmentationShape] /
+//!   [`E8EmbeddingShape<N>`][E8EmbeddingShape] (`SITE_COUNT = N`), and the
+//!   structure-preserving [`E6FiltrationShape<N>`][E6FiltrationShape]
+//!   (`SITE_COUNT = N + 1`) — each of ADR-059's five categorical
+//!   operations on the Atlas image inside E₈, as a `ConstrainedTypeShape`.
 //!
 //! ## IRI rule (closure under `uor-foundation`)
 //!