liftOneLevel / liftToTop fails

[alanz]

For the code at https://github.com/alanz/tide/blob/f1048311dd9ddda115ef06c57825720d046af12d/src/Lex.hs#L135

• using liftOneLevel introduces a syntactically invalid where clause as it is located at the wrong place
• lifting to the top level does not add a parameter for the locally bound variable item.