Added more declarations to remove functions so as to speed up execution somewhat.
Added more declarations to remove functions so as to speed up
execution somewhat.

Added more comments concerning the method used to in remove.

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