One comment ;-)
Merge remote-tracking branch 'upstream/master'
Merge remote-tracking branch 'origin/master'
explorePointer does not really depend on a SolverConfig.
Removing that also eliminates the need for a SolverConfig in
Interactive.hs.