Document type variant

Summary: Some interesting background on what's going on here.

Fixes https://github.com/facebook/hhvm/issues/3783

Reviewed By: @elgenie, @int3

Differential Revision: D1665859

Signature: t1:1665859:1415326879:4cf92330907287029b5709cd8d3bb8b362e86ed2