pretty printer: redo layout
modular formula persistance
callback after formula load