Add "Executable catena" to catena.cabal, and rename REPL module to Main.