Fix typos in table type descriptor section

lang/spec.html

@@ -1527,7 +1527,7 @@ <h4>Tables</h4>
 <p>
 Every table value has, in addition to its members, a key sequence, which is used
 to provide keyed access to its members. The key sequence is an ordered sequence
-of the field names. The key sequence of a table is fixed when a table is
+of field names. The key sequence of a table is fixed when a table is
 constructed and cannot be changed thereafter. For each field name in the key
 sequence, every member of the table must have a read-only field with that name
 and the value of the field must be acyclic plain data. A table's key sequence
@@ -1573,19 +1573,19 @@ <h4>Tables</h4>
 <code>map&lt;any|error&gt;</code>
 </p>
 <p>
-In a table-type-descriptor <code>table&lt;<var>R</var>
+In a table-type-descriptor <code>table&lt;<var>R</var>&gt;
 key(<var>ks</var>)</code>, for each field name f<sub>i</sub> in
 <code><var>ks</var></code>, f<sub>i</sub> must be a required, read-only field of
-<code><var>R</var></code> with a type that is a subtype of anydata. A table
-shape satisfies a key-constraint <code>key(<var>ks</var>)</code> if its key
-sequence is <code><var>ks</var></code>. A table shape satisfies a key-constraint
-<code>key&lt;K&gt;</code> if and and only if its set of key value shapes are a
-subset of <code><var>K</var></code>.
+<code><var>R</var></code> with a type that is a subtype of <code>anydata</code>.
+A table shape satisfies a key-constraint <code>key(<var>ks</var>)</code> if and
+only if its key sequence is <code><var>ks</var></code>. A table shape satisfies
+a key-constraint <code>key&lt;K&gt;</code> if and and only if its set of key
+value shapes are a subset of <code><var>K</var></code>.
 </p>
 <p>
 As with other structured values, a table value has an inherent type. The
-inherent type of a table value must be a table-type-descriptor that includes a
-key-specifier.
+inherent type of a table value must be a table-type-descriptor with a
+key-constraint that is a key-specifier.
 </p>
 <p>
 A table is iterable: the iteration sequence consists of the members of the