ENHANCED: CLP(FD): Faster sum/3 and scalar_product/4 when the lists contain
                   only integers, further reducing the need for sumlist/2.