Updating: improving ATSLIB/prelude/list_vt