Docs
Rename ListMonad to MonadCons and ListTrans to MonadTransUncons
Add a monad constraint
Docs
Increment the major version