Remove obsolete documentation.

Type variables can no longer be unqualified operators.

Signed-off-by: Austin Seipp <aseipp@pobox.com>