Fix: a minor bug in array.permute();
Change: array.select() to array.collect();
Remove: array.varn(), array.rank(), functional array.index();
Remove: array creation by arithmentic progression starting with array;
Remove: expression embedding in verbatim string;
Remove: unnecessary type casting supports.