Improving the text about subtyping