add products to type expressions