Working on the incremental synthesis extension. By no means finished yet.