Add the Either monad
Fix either module doc