Updating: improving prelude/array and prelude/matrix.
Updating: very minor fix.
Updating: improving prelude/array.
Updating: fixing ptrofsel compilation glitch.
merge