--- a/README.md	Sun Jan 19 16:49:09 2025 +0100
+++ b/README.md	Sun Jan 19 22:33:21 2025 +0100
@@ -8,6 +8,10 @@
   * [Linear operator], [mapping], [Euclidean space], and [norm] abstractions.
     Matrices and vectors are supported via [nalgebra].
     There is also abstraction for [`AXPY`][AXPY] and [`GEMV`][GEMV] operations.
+  * A facility to create [`Instance`][Instance]s of other types, for easy application
+    of functions to various concrete and reference types.
+  * Abstraction of [Fenchel conjugates] and [proximal operators] of convex
+    functions.
   * Small (on stack) [vectors] and [cubes] that implement the relevant
     abstractions and vector space operations.
   * Multi-dimensional [linear grids], including the familiar-from-Matlab
@@ -56,4 +60,7 @@
   [associated traits]: crate::types
   [vectors]: crate::loc::Loc
   [cubes]: crate::sets::Cube
+  [Instance]: crate::instance::Instance
+  [Fenchel conjugates]: crate::convex::Conjugable
+  [proximal operators]: crate::convex::Prox