Minor bugfix: allow refinement during free synthesis.