There is a simple way to identify "lost" addresses, you change the address format then give everyone one year to move their bitcoins to a new address. Those still in old addresses after the year go back into the undistributed potential to be mined.