Typo correction in Implicational.agda.