Implement syntax for polymorphic variants.