Revert "Update the Reflection module to follow the change in Agda"

This reverts commit ed8fcbf5d691f33ab34019a0dc7fda999b3bbfd4.
Revert "Revert "Update the Reflection module to follow the change in Agda""

This reverts commit 462d530234e7139eea39ec5a93e00aeb6d479ecb.