list primitives, recursion, TeXode update, and a lazy prelude