Major Section: PROGRAMMING
For a symbol x and a true list lst, (add-to-set-eq x lst)
is the result of consing x on to the front of lst, unless
x is already a member of lst, in which case it equals lst.
(add-to-set-eq x lst) has a guard that lst is a true list and
moreover, either x is a symbol or lst is a list of symbols.