differentiator: visitor-simplify: implement folding of "X^a" * "X^b" into "X^(a+b)".