Refactor TypeContents to be more scrutable. In particular, create coarser bits

than the current ones, which were very fine-grained.  Also, cleanly distinguish
when properties must be found in *owned* types vs *reachable* types.

Fixes #10157
Fixes #10278

Author: nikomatsakis