cons_free(): Have an assertion.
DOLIST(): Fixed assertions.