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