ProbSemiring chain rules

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