WIP: Kind of Category. Exposition for Control.Category, explain a...

I think it's important to have the kind listed, I realize that it's a bit arbitrary to start with Control.Category so let me know.

Added instance sigs.

Explained isomorphisms in terms of the Category interface.

Mentioned when it became kind polymorphic.

I tried to keep the Haskell tone, not overly technical.