Added array support in the EDSL

TreeFiniteDomainSolverSpec has an implementation of the "all intervals"
problem, but that's flushed out a latent issue which I will rectify
tomorrow.  However, the array support is significant enough to be
committed now.