MoveDef LetIn2 passes.
Working on LiftOneLevel LetIn3. General mechanics in place, formatting
way out
LiftOneLevel LetIn3 formatting sorted out, but stray param introduced
in lifted decl
LiftOneLevel LetIn3 now passes
Looks like LiftOneLevel PatBindIn3 works out of the box too.
Preparing for LiftOneLevel CaseIn1.
LiftOneLevel CaseIn1 passing
LiftOneLevel: actually pass the tests now, not just compare old files :(
Cleaning up
Moving the LocUtils methods back to LocUtils from TokenUtils