Updating: removing prelude/dlist_vt.
Updating: tidying up.