Add `MonadPlus (Either e)` and `Alternative (Either e)` instances

The following 2 instances are currently Orphans in transformers but could be defined in base without instead:

instance Error e => MonadPlus (Either e)
instance Error e => Alterantive (Either e)

This would, however, require us to move Error from transformers into base, which may be a controversial move.