Families: Using Type to Enhance Mutual Understanding