Products of families of types and (Π,λ)-structures on C-systems