Fixed bug in ProtocolCheck::Satisfy? when no brotocols given.
Defined protocols for Either.