Refactor definition of struct values/representation

Author: chorman0773

src/types/struct.md

@@ -29,10 +29,13 @@ A _unit-like struct_ type is like a struct type, except that it has no fields.
 The one value constructed by the associated [struct expression] is the only
 value that inhabits such a type.
 
-## Struct and aggregate values
+## Struct
 
 r[type.struct.value]
 
+r[type.struct.value.intro]
+A value of a struct type consists of a list of values for each field.
+
 r[type.struct.value.value-bytes]
 A byte `b` in the representation of an aggregate is a value byte if there exists a field of that aggregate such that:
 * The field has some type `T`,
@@ -45,15 +48,15 @@ A byte `b` in the representation of an aggregate is a value byte if there exists
 r[type.struct.value.padding]
 Every byte in an aggregate which is not a value byte is a padding byte.
 
-r[type.struct.value.struct]
-A value of a struct type consists of the values of each of its fields.
-The representation of such a struct contains the representation of the value of each field at its corresponding offset.
+> [!NOTE]
+> Enum types can also have padding bytes.
 
-r[type.struct.value.padding-uninit]
-When a value of an aggregate is encoded, each padding byte is left as uninit
+r[type.struct.value.encode-decode]
+When a value of a struct type is encoded, each field of the struct is encoded at its corresponding offset and each byte that is not within a field of the struct is set to uninit.
+When a value of a struct type is decoded, each field of the struct is decoded from its corresponding offset.
 
 > [!NOTE]
-> It is valid for padding bytes to hold a value other than uninit when decoded, and these bytes are ignored when decoding an aggregate.
+> It is valid for padding bytes to hold a value other than uninit when decoded, and these bytes are ignored when decoding an struct value.
 
 [^structtype]: `struct` types are analogous to `struct` types in C, the
     *record* types of the ML family, or the *struct* types of the Lisp family.

src/types/tuple.md

@@ -52,6 +52,7 @@ Tuple fields can be accessed by either a [tuple index expression] or [pattern ma
 r[type.tuple.repr]
 The values and representation of a tuple type are the same as a [struct type][type.struct.value] with the same fields and layout.
 
+
 [^1]: Structural types are always equivalent if their internal types are equivalent.
       For a nominal version of tuples, see [tuple structs].