Unset {ignore,omit} interface pragmas for all unfoldings
Cleanly get the string marshallings from the scope set

Depends on my pull request on the QuickSpec repo, which I hope Nick will
apply soon!