We don't need transactions and Jupyter style. Just separate representation from underlying state (a simplified dom), and migrate from IO streams model to object streams model.