Rename Costrong to ProChoice

The original name was take from Choice's Haskell doc, which says:

> The generalization of DownStar of a "costrong" Functor

But it seems that is wrong:

> <edwardk> puffnfresh: my notion of costrength refined after i wrote that

Easy fix:

> <edwardk> ProfunctorChoice or ProChoice is fine

The syntax names have also changed, since they're not dual functions -
they just operate on coproducts rather than products. The new names are:

* `proleft`
* `proright`