support reduction step display in REPL