Splitting the section about types and subtyping into two sections