CONS-SUBTREES
(cons-subtrees x nil)
builds a fast alist that associates each subtree
of X with T, without duplication.
Major Section:
HONS-AND-MEMOIZATION