C-SEND-SYNC: Discuss trait objects.

[kpreid]

The previous text only discussed raw pointers, but trait objects are another common situation where authors may accidentally design overly restrictive APIs, so I think that discussing them here is appropriate.