lAn atomic item
(non-list) is represented by itself.
lThe null list is
represented as a leaf [].
lA list [First | Rest]
is represented by a node with two
targets:
lThe left target is the representation
of First.
lThe right target is the representation
of Rest.
lNote that ordering of
targets is essential.