Set-theoretic types for polymorphic variants.