Value class for "dynamic enum" type data, and Spinner widgets