Adding more text about subtyping