Added one more test, passing.
MoveDef LiftToToplevel LetIn3 passes
MoveDef LiftToTopLevel PatBindIn1 test added and passes
Working on MoveDef LiftToToplevel PatBindIn3 test