Document transmutability of pointer types

Our rules for `as` casts document which pointer-to-pointer casts are
valid.  For unsized types, this validity is based on the compatibility
of the pointer metadata.  Using this and our layout equivalences, we
can define when a pointer transmute will produce the same pointer
value as would a cast.  Let's define that.