Continued working on Incremental Synthesis (on the interface, to be precise).