Fix interface grammar in top-level use

Author: cardoso

design/mvp/WIT.md

@@ -747,7 +747,7 @@ convenience:
 toplevel-use-item ::= 'use' interface ('as' id)?
 
 interface ::= id
-            | id ':' id '/' id ('@' integer '.' integer)
+            | id ':' id '/' id ('@' version)?
 ```
 
 Here `interface` is the ID used to refer to interfaces. The bare form `id`