Statically typed Objective-C collections