Fix abstract numeric cases for comparisons, length builtin (gpuweb#3112)

Fixes: gpuweb#2988

wgsl/index.bs

@@ -5454,40 +5454,40 @@ See [[#sync-builtin-functions]].
     <td>|e1|: |T|<br>|e2|: |T|<br>
     |S| is AbstractInt, AbstractFloat, bool, i32, u32, f32, or f16<br>
     |T| is |S| or vec|N|&lt;|S|&gt;<br>
-    |TB| is bool if |T| is scalar or<br>
-    vec|N|&lt;bool&gt; if |T| is a vector
+    |TB| is vec|N|&lt;bool&gt; if |T| is a vector,<br>
+    otherwise |TB| is bool
     <td class="nowrap">|e1| `==` |e2|`:` |TB|
     <td>Equality. [=Component-wise=] when |T| is a vector.
   <tr algorithm="inequality">
     <td>|e1|: |T|<br>|e2|: |T|<br>
     |S| is AbstractInt, AbstractFloat, bool, i32, u32, or f32<br>
     |T| is |S| or vec|N|&lt;|S|&gt;<br>
-    |TB| is bool if |T| is scalar or<br>
-    vec|N|&lt;bool&gt; if |T| is a vector
+    |TB| is vec|N|&lt;bool&gt; if |T| is a vector,<br>
+    otherwise |TB| is bool
     <td class="nowrap">|e1| `!=` |e2|`:` |TB|
     <td>Inequality. [=Component-wise=] when |T| is a vector.
   <tr algorithm="less than">
     <td>|e1|: |T|<br>|e2|: |T|<br>[ALLNUMERICDECL]<br>
-    |TB| is bool if |T| is scalar, or<br>
-    vec|N|&lt;bool&gt; if |T| is a vector
+    |TB| is vec|N|&lt;bool&gt; if |T| is a vector,<br>
+    otherwise |TB| is bool
     <td class="nowrap">|e1| `<` |e2|`:` |TB|
     <td>Less than. [=Component-wise=] when |T| is a vector.
   <tr algorithm="less than equal">
     <td>|e1|: |T|<br>|e2|: |T|<br>[ALLNUMERICDECL]<br>
-    |TB| is bool if |T| is scalar, or<br>
-    vec|N|&lt;bool&gt; if |T| is a vector
+    |TB| is vec|N|&lt;bool&gt; if |T| is a vector,<br>
+    otherwise |TB| is bool
     <td class="nowrap">|e1| `<=` |e2|`:` |TB|
     <td>Less than or equal. [=Component-wise=] when |T| is a vector.
   <tr algorithm="greater than">
     <td>|e1|: |T|<br>|e2|: |T|<br>[ALLNUMERICDECL]<br>
-    |TB| is bool if |T| is scalar, or<br>
-    vec|N|&lt;bool&gt; if |T| is a vector
+    |TB| is vec|N|&lt;bool&gt; if |T| is a vector,<br>
+    otherwise |TB| is bool
     <td class="nowrap">|e1| `>` |e2|`:` |TB|
     <td>Greater than. [=Component-wise=] when |T| is a vector.
   <tr algorithm="greater than equal">
     <td>|e1|: |T|<br>|e2|: |T|<br>[ALLNUMERICDECL]<br>
-    |TB| is bool if |T| is scalar, or<br>
-    vec|N|&lt;bool&gt; if |T| is a vector
+    |TB| is vec|N|&lt;bool&gt; if |T| is a vector,<br>
+    otherwise |TB| is bool
     <td class="nowrap">|e1| `>=` |e2|`:` |TB|
     <td>Greater than or equal. [=Component-wise=] when |T| is a vector.
 
@@ -11243,8 +11243,9 @@ but a value may infer the type.
     <td>[ALLFLOATINGDECL]
   <tr>
     <td>Description
-    <td>Returns the length of `e` (e.g. `abs(e)` if `T` is a scalar, or
-        `sqrt(e[0]`<sup>`2`</sup> `+ e[1]`<sup>`2`</sup> `+ ...)` if `T` is a vector).
+    <td>Returns the length of `e`.<br>
+        Evaluates to `abs(e)` if `T` is scalar or AbstractFloat.<br>
+        Evaluates to `sqrt(e[0]`<sup>`2`</sup> `+ e[1]`<sup>`2`</sup> `+ ...)` if `T` is a vector type.
 </table>
 
 ### `log` ### {#log-builtin}