started adding a proper Costrong/Cochoice
more instances for UpStar and DownStar (close #13)
Merge branch 'master' of github.com:ekmett/profunctors