Add Coyoneda.{Aux,lift} from 7.1; deprecate Coyoneda.apply.
Merge pull request #678 from S11001001/topic/7.0+coyoneda-transition

Add Coyoneda.{Aux,lift} from 7.1; deprecate Coyoneda.apply.