Rename the cabal file to match the package name.

Enhance the synopsis and the description, fix dependencies.
Add `Monad` instances to tuples.

`join` picks the diagonal of a _NxN_ matrix.