Add unary lift and docstrings
Monad return should default to unary function
Add monad-then (>>)
Add docstrings
Fix list functor instance
Add info about default implementation
Add functor commends, and functor-const