WIP: Truncated interface versions

Author: lann

design/mvp/Explainer.md

@@ -294,7 +294,7 @@ sort           ::= core <core:sort>
                  | type
                  | component
                  | instance
-inlineexport   ::= (export <exportname> <sortidx>)
+inlineexport   ::= (export <exportname> <fullversion>? <sortidx>)
 ```
 Because component-level function, type and instance definitions are different
 than core-level function, type and instance definitions, they are put into
@@ -574,8 +574,9 @@ instancedecl  ::= core-prefix(<core:type>)
                 | <alias>
                 | <exportdecl>
                 | <value> 🪙
-importdecl    ::= (import <importname> bind-id(<externdesc>))
-exportdecl    ::= (export <exportname> bind-id(<externdesc>))
+importdecl    ::= (import <importname> <fullversion>? bind-id(<externdesc>))
+exportdecl    ::= (export <exportname> <fullversion>? bind-id(<externdesc>))
+fullversion   ::= (fullversion <valid semver>)
 externdesc    ::= (<sort> (type <u32>) )
                 | core-prefix(<core:moduletype>)
                 | <functype>
@@ -2242,8 +2243,8 @@ the identifier `$x`). In the case of exports, the `<id>?` right after the
 preceding definition being exported (e.g., `(export $x "x" (func $f))` binds a
 new identifier `$x`).
 ```ebnf
-import ::= (import "<importname>" bind-id(<externdesc>))
-export ::= (export <id>? "<exportname>" <sortidx> <externdesc>?)
+import ::= (import "<importname>" <fullversion>? bind-id(<externdesc>))
+export ::= (export <id>? "<exportname>" <fullversion>? <sortidx> <externdesc>?)
 ```
 All import names are required to be [strongly-unique]. Separately, all export
 names are also required to be [strongly-unique]. The rest of the grammar for
@@ -2276,8 +2277,11 @@ fragment      ::= <word>
                 | <acronym>
 word          ::= [a-z] [0-9a-z]*
 acronym       ::= [A-Z] [0-9A-Z]*
-interfacename ::= <namespace> <label> <projection> <version>?
-                | <namespace>+ <label> <projection>+ <version>? 🪺
+interfacename ::= <namespace> <label> <projection> <interfacever>?
+                | <namespace>+ <label> <projection>+ <interfacever>? 🪺
+interfacever  ::= '@' <valid semver>
+                | '@' [1-9] [0-9]*
+                | '@0.' [1-9] [0-9]*
 namespace     ::= <words> ':'
 words         ::= <word>
                 | <words> '-' <word>