Update to Agda 2.4.0

Built in in a sandbox!