Review type checking stage