agda: *old* failed experiment with other change definition
agda: *old* failed experiment with other change definition

This was lying around on my old laptop.

Old-commit-hash: f8ce36e22c6a0d4d2a65bddf007e16ac35ad881f

inc-lc/ilc-agda