Support Agda 2.4

I switched to Agda 2.4.0, and there was one problem with the ilc-agda codebase, which I managed to fix.