Minor improvements to the text about types and subtyping