This should be clear that it only looks up `@property` declarations—it won't find, e.g., accessors that match property conventions. Also, we should note what happens if no declaration (and thus type) is found.