Refinement now blocks natives and/or handles side effects if the initial synthesis did.
Do the initial refinement re-evaluation of old expressoins in the dialog.
This lets me take advantage of its progress monitor.
Added the LIVE 2013 demo file.