[PostScript]
ListStructure (A, E, C): trait % Classical LISP includes List E union of list: C, atom: A