MoveDef LiftToToplevel CaseIn1 test added and passes
MoveDef LiftToToplevel WhereIn2 test passes, PatBindIn2 test pending
Removed some commented-out old code
Starting to work in MoveDef LiftOneLevel