Python 3.9 added two operators to dict:

• a | b does {*a, *b}
• a |= b does a.update(b)

Implement this for our various dict datastructures (assuming it makes sense in each case).