`TransparentWrapper` docs are confusing

[Lokathor]

Rule 1 of TransparentWrapper contains an "either" and then only gives one way to satisfy it.

• We should probably delete the "either"

Separately, we may wish to link to the language rules on ABI compatibility