Heterogeneity and Subtyping