implemented product type left multiplicity and syntax for it