Revert "Add a REPL, but do not make it public yet."

This reverts commit 457604688fcca5404226125ba846d5529ff531c3.