Use PPrint to handle printing of REPL output values

Use PPrint to handle printing of REPL output values #637