Major Section: HONS-AND-MEMOIZATION
(cons-subtrees x NIL) is an alist that associates each subtree of x with t, without duplication. It may run slower than FASTER-CONS-SUBTREES.
