Update text encoding for new abbreviation

Author: bvisness

document/core/text/modules.rst

@@ -359,7 +359,11 @@ Abbreviations
 
 Multiple imports with the same ${:nm_1} may be declared together:
 
-$${grammar: Timports_/abbrev}
+$${grammar: Timports_/abbrev-compact1}
+
+Multiple imports with the same ${:nm_1} and ${:xt} may also be declared together, in which case identifiers may be placed on individual items instead of the ${:externtype}:
+
+$${grammar: Timports_/abbrev-compact2}
 
 Imports may also be specified inline with
 :ref:`tag <text-tag>`,

specification/wasm-3.0/6.3-text.modules.spectec

@@ -134,9 +134,14 @@ grammar Timport_(I)/plain : (import, idctxt) =
   | "(" "import" nm_1:Tname nm_2:Tname (xt,I'):Texterntype_(I) ")" => (IMPORT nm_1 nm_2 xt, I')
   | ...
 
-grammar Timports_(I)/abbrev : (import*, idctxt) =
+grammar Timports_(I)/abbrev-compact1 : (import*, idctxt) =
   | "(" "import" nm_1:Tname ("(" "item" nm_2:Tname Texterntype_(I) ")")* ")" ==
     ("(" "import" nm_1:Tname nm_2:Tname Texterntype_(I) ")")*
+  | ...
+
+grammar Timports_(I)/abbrev-compact2 : (import*, idctxt) = ...
+  | "(" "import" nm_1:Tname "(" "type" Texterntype_(I) ("(" "item" id?:Tid? nm_2:Tname ")")* ")" ")" ==
+    ("(" "import" nm_1:Tname nm_2:Tname Texterntype_(I) ")")*
 
 grammar Timport_(I)/abbrev-tag : (import, idctxt) = ...
   | "(" "tag" Tid? "(" "import" Tname^2 ")" Ttagtype_(I) ")" ==