Renamed special versions of tree-equal to conform to recent naming conventions.
Renamed special versions of tree-equal to conform to recent
naming conventions.

Added `ignorable' declarations to the pushnew macro to avoid
inappropriate warnings.

clasp-developers/SICL,vtomole/SICL,clasp-developers/SICL,vtomole/SICL,vtomole/SICL,clasp-developers/SICL,clasp-developers/SICL,vtomole/SICL