Updating: improving ATSLIB/prelude