agda/...: misc (to revert)
agda/...: misc (to revert)

This commit simply adds some experiments which turned out to be
probably useless. Given the time invested, saving them might be
useful. But they are going to be reverted.

Old-commit-hash: cfca67fe7667584365fce6095ebdbeb09d59b816

inc-lc/ilc-agda