Any implementation of data #448 has to have a pretty solid transactional basis

Hooks are permitted to alter state, so their execution order must be well defined

A transaction must begin before all hooks, and end after all hooks, so that if any one hook rejects, all reject

This is both extremely valuable, and also likely to be one of the most brutally difficult parts of the machine to actually get right