Implement tyarith REPL #6