Implemented Mappend and Mempty for Option<T> and Either<T>.  Also added overrides for operator+, operator==, operator!=, GetHashCode and Equals.