Fix parser for :def REPL command

I won't ask why, but it looks like `some (P.char ' ')` wasn't doing quite what we wanted. Now parsing the `:def` command works.