Add REPL sockets

I'm not talking about the repl code, though, just the sockets themselves.