Some writing in the types subsection