collectTerms() avoids collecting oneself.
Class now final
Comment
Class now final. 
ATOM_CATALOG to "internalize" all atoms - they will have the same
refernece.
Improved unification of same (==) references
Placeholder
New constant for the empty list.