Updating: improving prelude/lazy_vt