Document Type.may_share_memory and implement it in Scalar.