Good point. I bring it up on the [symbols-trees-types page](https://github.com/scala/scala.github.com/blob/master/overviews/reflection/symbols-trees-types.md#querying-types-for-members-and-declarations) in a bit more detail-- I think we can use bits from there to clarify a bit.