Next-node action types
Source block statement types
Internal type to hold a specialized When-Mutate Map