allow provision of default response in resynthesis user-queries
don't duplicate dummyActuator columns after resynthesis
add in basic support for corresponding-group updates
update dynamicletters/detect_new_stuff spec to use a simple correspondence
Merge branch 'spec_rewriting' of github.com:LTLMoP/LTLMoP into openworld