Updated nat.agda