Improvements to the section about subtyping