Working in syz. Need to come up with a transformation which has access
to the zipper being traversed.
Working on options for working with syz
More attempts using syz.
Finally able to open the syz zipper to where a (GenericQ Bool) matches
Cleaning up slightly.
Proof-of-concept zipper based refactoring
LiftOneLevel with zipper and upUntil to find the enclosing HsValBinds.
Pushed more of the zipper mechanics into a utility function, and
simplified the tie-up between the part of the GenericQ that matches
and the related transformation to be applied to the zipper.
Clean a lot of junk out of GhcUtils.hs
LiftOneLevel WhereIn7 test passes
LiftOneLevel WhereIn8 test passes
Working on LiftOneLevel LetIn1
LiftOneLevel LetIn1 passes