Switching to Agda version 2.3.2.