Associate a domain and range with each array

(A long overdue change from KLEE-FP!)