timeout reduced in pr04 -> prelim results to depth 25 (not checked in)
misc_polish_arity0 is code to re-evaluate the arity 0 results and summarize
pr_eval includes a "compiler" and evaluator for pr code in standard form