Family Values : A Semantic Notion of Subtyping 1