Improvements to the section about types