Typo in NatArithC.agda.