Improve debug-printing of the type environment