Improved the experimental incremental synthesis stuff.