New automatic rewrite for GSPEC f x, which shouldn't happen much.
Tidy up topologyScript (and minor dependencies)

Mostly remove its custom definitions of constants that already exist
in pred_setTheory; also tidy up some antique (--`...`--) quotations,
and some tactics.

More still to do here.