A tool for compressing type tree dumps - View it on GitHub