Add support for an editable source DOM to the formatter API

The formatter API is currently a push interface which has to be accessed in a specific order (similar to the order of an OBFL source). In order to fully support interactive editing, the API should be redesigned to support unordered read/write operations on all formatter interfaces pertaining to the DOM.