Split example and fix thinko

Author: Altai-man

doc/Language/syntax.pod6

@@ -730,8 +730,9 @@ items:
     say [@a, 3, 4].perl;  # OUTPUT: «[[1, 2], 3, 4]␤»
     say [|@a, 3, 4].perl; # OUTPUT: «[1, 2, 3, 4]␤»
 
-L<List|/type/List> type can be explicitly created from an array literal declaration without a coercion
-coercion from Array, using B<is> L<trait|/language/traits> on declaration.
+L<List|/type/List> type can be explicitly created from an array
+literal declaration without a coercion from Array, using B<is>
+L<trait|/language/traits> on declaration.
 
     my @a is List = 1, 2; # a List, not an Array
     # wrong: creates an Array of Lists
@@ -792,8 +793,16 @@ a coercion, using B<is> L<trait|/language/traits> on declaration:
     my %mix is Mix;              # Mix
     my mix-hash is MixHash;      # MixHash
 
-    # This is wrong: creates a Hash of Mixes, not Mix
+
+Note that using a usual type declaration with a hash sigil creates a
+typed Hash, not a particular type:
+
+    # This is wrong: creates a Hash of Mixes, not Mix:
     my Mix %mix;
+    # Works with $ sigil:
+    my Mix $mix;
+    # Can be typed:
+    my Mix[Int] $mix-of-ints;
 
 =head3 Regex literals