Fix REPL completion

Now that idris-eval returns an optional second element, we needed to
examine the car to get the result.