Reducibles

A basic reducible protocol is presented, currently conformed to by `NSSet` and `NSArray`.