Tests

Tests of `Either` and `EitherType`.