Integrated type checker in REPL.