a cell tail can be another cell.
:- makes a cell: an ordered pair.
:-
:-(1 2) is [1 2].
:-(1 2)
[1 2]
irregular forms:
[a b] is :-(a b)
[a b]
:-(a b)