start on data types with upper multiplicity > 1