Type variables can no longer be unqualified operators. Signed-off-by: Austin Seipp <aseipp@pobox.com>