Improving the text about subtyping rules