Normalize terms in REPL