Use Rift, Ran and Procompose from profunctors

[echatav]

Since they became kind polymorphic, they can replace RightQ, LeftQ and ComposeQ. Also, I need to add Profunctor instances for e.g. Profunctor (Refl r), Profunctor (K r), Profunctor p => Profunctor (Path p).