Clarify the rules for impls and duplicate types in joins.