Put (a|an) in a consistent order.
Implement 'to be an array of <type>s'. Fixes #18.

Omitted the 'array of dates' case for now. Probably better to wait until we support dates in the lower level assertions.