Be more specific about Any.Hash|hash

- make clear that .hash returns *something* Associative
- point to .Hash / .Map if you want mutable / immutable
- fix obviously wrong example

Author: lizmat

doc/Type/Any.pod6

@@ -363,8 +363,7 @@ Defined as:
     proto method Hash(|) is nodal
     multi method Hash( --> Hash:D)
 
-
-Coerce the invocant to L<Hash> by invoking the method C<hash> on it.
+Coerce the invocant to L<Hash>.
 
 =head2 method hash
 
@@ -374,15 +373,23 @@ Defined as:
     multi method hash(Any:U: --> Hash:D)
     multi method hash(Any:D: --> Hash:D)
 
-Creates a new L<Hash|/type/Hash>, empty in the case the invocant is
-undefined, or coerces the invocant to an C<Hash> in the case it is
-defined.
+Coerces a type object to an empty L<Hash>.
+
+More generally, coerces a defined invocant to something that supports the
+L<Associative> role.  This may be a mutable L<Hash>, but may also be
+an immutable L<Map> or anything else that supports the L<Associative>
+role.  Use the C<.Hash> method if you really want to have a mutable L<Hash>,
+or the C<.Map> coercer if you're happy enough with an immutable L<Map>.
+Use the C<.hash> coercer if you really don't care and want the cheapest
+way to get an object that does the L<Associative> role.
 
 =begin code
 my $d; # $d is Any
 say $d.hash; # OUTPUT: {}
-$d.append: 'a', 'b';
-say $d.hash; # OUTPUT: {a => b}
+
+my %m is Map = a => 42, b => 666;
+say %m.hash;  # Map.new((a => 42, b => 666))
+say %m.Hash;  # {a => 42, b => 666}
 =end code
 
 =head2 method Slip