Make some pred_set rewrites automatic.

Also fix up the script file's redefinition of store_thm (used to make
alternative versions of IN_<x> theorems).