uniuqe => unique
Make Functor.Prod.unique a bit more transparent

It's required for proving one of the exponential laws.
Try harder to make path_functor'_sig opaque
Add some basic documentation for exponential laws
Merge pull request #242 from JasonGross/doc-exponential-laws

Document exponential laws