Add Verified.Applicative.Either to verified.ipkg

Should have done that in previous commit!