Major Section: HONS-AND-MEMOIZATION
A logical no-op. All memoized values are forgotten.
Returns NIL. Invokes CLEAR-MEMOIZE-TABLE for each memoized function.