Revert "Allow removal of all explicit equivalences"

This reverts commit 7ae0c024f5479b0c23352679833e9f779f16495f.