Add @property annotations