Working on liftOneLevel WhereIn6. I think I need a zipper on the AST