We can now allocate arrays of arbitrary dimension using nestForAlloc in module Util.