[slime-devel] proposed customization mechanism for repl behavior