agda-iowa-stdlib: update to r18734

Now works with Agda 2.4.2.1