REPL extensions (was Re: [slime-devel] slime-input-stream and REPL extensions)