Progress on MoveDef.liftToTopLevel. Need to sort out HsFreeAndDeclaredPNs