fixup

1 files changed, 6 insertions, 6 deletions

diff --git a/doc/0/0-value.md b/doc/0/0-value.md
index 2b9a858..57e593d 100644
--- a/doc/0/0-value.md
+++ b/doc/0/0-value.md
@@ -128,15 +128,15 @@ The empty list is canonically represented with a null payload value, i.e., zero
 length, cleared GC metadata bits, and zero index value.
 
 Lists of this type can double as generic *tuple* types since they are packed in
-a maximally efficient way.  For instance, a *box* type of a single explicitly
-heap-allocated Value, a *pair* type of exactly two Values, and a variety of
-*struct* types of fixed Value counts could be implemented by this type.
+a maximally efficient way.  For instance, a *box* type of a single shared and
+mutable Value, a *pair* type of exactly two Values, and a variety of *struct*
+types of fixed Value counts could be implemented simply by this type.
 
 ### Heap pointers
 
-Other heap objects are allocated within their own virtual memory region, using
-the low 32 bits of the payload as an index value as well, meaning this region
-can occupy another 32 GiB of memory.
+Various objects are allocated within a generic heap region of virtual memory,
+using the low 32 bits of the payload as an index value as well, meaning this
+region can occupy another 32 GiB of memory.
 
 Objects in the main heap may have an alignment greater than 8 bytes.  We could
 exploit this to support larger heaps, treating the heap as, for instance, slots