HoleEdit: makeResultsList lens-styled
Open Hole Results: Remove seemingly unneeded filtering of hole-wrappers