HaveMoreResults in place of Bool
Oops: liftMemoT was accidentally renamed to fmapemoT
Move munging around with hole's search term from DataOps/Sugar to HoleEdit
Don't create an extra operator hole for bad results when pressing operators