I don't like "The fields in a type are not independent of each other" because I want to say "the fields in an **index** are not independent of each other" but that doesn't sound right either. Maybe flip it some "fields with the same name in different types are the same field - they must have the same mapping and share the same metadata and data structures." I dunno. 