Updating: improving prelude/list_vt