Title: Progress in Implementing Incremental Programming