What clang taught us about Objective-C properties