Working on MoveDef.liftToToplevel