Updating: minorly improving prelude/list_vt