Fennel Proto REPL protocol