Phantom type parameters for Dictionary and Array

[reinerp]

In my CoreFoundation package, I give phantom type parameters to Array and to Dictionary representing the types of values they store, so the types are Array a and Dictionary k v.

While some CoreFoundation routines will just return Array Object (which is no more useful than CoreMac's Array), property lists are notable in having more useful types: their arrays and dictionaries are always Array Plist or Dictionary String Plist.

As a test, I integrated this design into CoreMac; see 1, 2.