Minor improvements to the text about typing rules