Updated to work with Agda 2.4.0.
Updated readme to reflect required Agda version.