Improved ObjC generation