Visualize the different phases of type checkers defined with the type checker library.