Update to agda 2.4.0.