+ * enhancement: when called with a symbol, FIND-RESTART no longer calls
+ COMPUTE-RESTARTS, making it faster and cons less (lp#769615)
+ * enhancement: FIND-RESTART and COMPUTE-RESTARTS handle huge restart
+ clusters better in some cases
+ * enhancement: SOME/ANY/other quantification higher-order functions no
+ longer cons. (lp#1070635)