Annotation/Navigation/Path expressions: allow paths to continue after multi-valued navigation to e.g. drill into complex properties

Allow paths to contain an arbitrary number of single- or multi-valued navigation segments at arbitrary positions. Change section 14.5.12, second paragraph after bullet list from If a path segment is the name of a navigation property that has a cardinality of many, the path MUST NOT have any subsequent segments other than type casts, term casts, or a $count segment. If the last segment is a $count segment, the path evaluates to the number of related entities. to If a path segment is the name of a multi-valued structural or navigation property, the path identifies a collection of instances. This collection is obtained by evaluating the remaining path for each instance of the collection identified by the path up to the multi-valued property. If the remaining path evaluates to a collection of entities, the full path evaluates to the union of these collections. If the remaining path evaluates to a collection of primitive or complex type instances, the full path evaluates to the concatenation of these collections. If the remaining path evaluates to a single entity, the full path evaluates to the set of these entities. If the remaining path evaluates to a single primitive or complex type instance, the full path evaluates to the collection of these instances. If the last segment is a $count segment, the path evaluates to the number of instances identified by the preceding path. Examples: Path="Items/Product" identifies a collection of products (entities) Path="Items/Product/Supplier/Address" identifies a collection of addresses (complex type instances) Path="Friends/EmailAddresses" identifies a collection of email addresses (strings) Provide a similar example for <PropertyPath> traversing a containment relationship. Accepted: https://www.oasis-open.org/committees/download.php/50840/odata-meeting-53_on-20130926-minutes.html#odata-481