REPL results are custom-rendered, not JSONized

This was motivated by the fact that JSON.stringify(function () {})
returns "undefined".