Switching to Agda 2.4.2.1 and the standard library 0.9.