Revert "Don't use "share/atspre_define.hats" to use ATSLIB/prelude/array"

This reverts commit 2fcddefb62db29adc97321df91285c3b0f3a67f6.