[Python-ideas] Fwd: Adding "+" and "+=" operators to dict