Some writing in the typerules subsection