ProbSemiring chain rules
∂sum for ProbSemiring is not defined properly... it ignores underlying Semiring value type