Removing the word 'admit' from some files.

To make it easier to use grep to track progress.
Almost finished Equiv.