In this implementation, lists are constructed of list cells.

list:  [1,2,3,4]

cells:  

Each cell has two components:

a datum

and

a (reference  to a) list