Made Product.barcode a NonEmptyString, since any NonEmptyString should be valid.