Revert "Show how badly reasoning for ≙ and ≡ combine"
Revert "Show how badly reasoning for ≙ and ≡ combine"

This reverts commit 24faa2c5edd91d1db64977d5124ef40e01de433f. The commit
showed how badly something worked, so let's leave in the old version for
now.

Old-commit-hash: 9f5f49cf0319ba809356655a204ec83725dfceb4

inc-lc/ilc-agda