Unified event published to subscribe() listeners and the devtools hook.
Remarks
The type union is open: minor releases may add new event types, as 2.1.0
added 'recordPatches'. Keep a default branch when switching on
event.type instead of asserting exhaustiveness with never.
Unified event published to
subscribe()listeners and thedevtoolshook.