Unify only modified2

To further speedup incremental updates, mostly the cleanup phase,

keep track of affected nodes (both by update and by adjusting) and unify only those.

...includes some refactoring