Add 5th list-list-string example

lukewagner · lukewagner · commit 89724c317e6d · 2022-12-07T18:33:15.000-06:00
diff --git a/design/mvp/Explainer.md b/design/mvp/Explainer.md
@@ -752,10 +752,11 @@ example, in the following compound component:
     (type $ListListString3 (list $ListString3))
     (type $ListString4 (alias outer $A $ListString))
     (type $ListListString4 (list $ListString4))
+    (type $ListListString5 (alias outer $A $ListString2))
   )
 )
 ```
-all 4 variations of `$ListListStringX` are considered equal since, after
+all 5 variations of `$ListListStringX` are considered equal since, after
 decoding, they all have the same AST.
 
 Next, the type equality relation on ASTs is relaxed to a more flexible

Original file line number	Diff line number	Diff line change
`@@ -752,10 +752,11 @@ example, in the following compound component:`
`752`	`752`	`(type $ListListString3 (list $ListString3))`
`753`	`753`	`(type $ListString4 (alias outer $A $ListString))`
`754`	`754`	`(type $ListListString4 (list $ListString4))`
	`755`	`+ (type $ListListString5 (alias outer $A $ListString2))`
`755`	`756`	`)`
`756`	`757`	`)`
`757`	`758`	```
`758`		-all 4 variations of `$ListListStringX` are considered equal since, after
	`759`	+all 5 variations of `$ListListStringX` are considered equal since, after
`759`	`760`	`decoding, they all have the same AST.`
`760`	`761`
`761`	`762`	`Next, the type equality relation on ASTs is relaxed to a more flexible`