In the LMI system we have a spelling correction function that evolved as MIDAS (ITS SPELL) -> C (by Pace Willison) -> ZetaLisp (again Pace). It has only been used for META-$ in Zmacs so far; but maybe somebody would be willing to CL'ify it and perhaps try hooking it into the DWIMIFY-PACKAGE hooks that are in various error handlers.