Made some improvements to 6-points-about-types