update syntax to Agda 2.4.x