Section 4.5.4: explicitly state that @odata.count can be applied to expanded to-many navigation properties

We allow $count=true nested after $expand, resulting in @odata.count annotations in the inlined representation of to-many navigation properties. This can be deduced from other specification text but is not explicitly stated in the section on odata.count.