Enable making assertions over all elements of an array.

Implements #2.