Added the right Kan lift of a profunctor along another profunctor.