Added magic method annotations to classes that use the CollectionProxy trait