Extensible select and enumeration types

and their elements in schema Contract_arm taking into account BASED_ON types