Progress on free and declared vars, required for MoveDef.liftToTopLevel