Verse言語の設計思想を読み解きたい(17) 型システム② 部分型(Subtyping)