Better self-referencing infinite list support

Parses expressions with datum labels that are self-referential, as in
the following: '#1=(a b . #1#)

Lot of other work in progress.

Tests pass