Corrected missing imports in `Debugger.eli`.