Extensible select and enumeration types

and their elements in schema Product_as_individual_arm taking into account BASED_ON types