Closed polymorphic variant types for BlockML.