Add [a]Coyoneda[ISet, a] post
can BE defined
Fix 2 typos
Merge pull request #24 from puffnfresh/coyoneda-set

Add [a]Coyoneda[ISet, a] post