Modify state type

Switching out a prob state for an init, or choice should be possible without detaching and reattaching everything. Similar for xor and and.

A proposed solution is a dynamic menu item that is enabled when a single (or multiple of the same type) element is selected. The dropdown for the menu item would be context sensitive and would modify the types of the selection.