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).