Now we have Nil and Cons constructors for lists, as in the book.