The canonical list-cell functor: .
.
Creates a Cons with head as first element and tail as the rest of the list.
Creates a one-element, well-formed logic list containing only head.