fix type checking WAT examples (#344)

* fix type checking WAT example

Signed-off-by: Roman Volosatovs <rvolosatovs@riseup.net>

* add missing closing parenthesis in WAT

Signed-off-by: Roman Volosatovs <rvolosatovs@riseup.net>

---------

Signed-off-by: Roman Volosatovs <rvolosatovs@riseup.net>

Author: rvolosatovs

design/mvp/Explainer.md

@@ -824,11 +824,11 @@ example, in the following compound component:
   (type $ListListString1 (list $ListString1))
   (type $ListListString2 (list $ListString1))
   (component $B
-    (type $ListString3 (list string))
-    (type $ListListString3 (list $ListString3))
-    (type $ListString4 (alias outer $A $ListString))
-    (type $ListListString4 (list $ListString4))
-    (type $ListListString5 (alias outer $A $ListString2))
+    (type $ListString2 (list string))
+    (type $ListListString3 (list $ListString2))
+    (type $ListString3 (alias outer $A $ListString1))
+    (type $ListListString4 (list $ListString3))
+    (type $ListListString5 (alias outer $A $ListListString1))
   )
 )
 ```
@@ -1043,7 +1043,7 @@ bound.
 ```wasm
 (component
   (type $r (resource (rep i32)))
-  (export "r1" (type $r)
+  (export "r1" (type $r))
   (export "r2" (type $r) (type (sub resource)))
 )
 ```