Updating: improving prelude/array and prelude/matrix and INT2PROGINATS