***この `OptionalType` や `OptionalProtocol` はどういったテクニックなのでしょうか?***

Swiftのジェネリックに対する制限を回避するために **`Optional`型だけが適合するプロトコル**として宣言されています。

(`Optional`以外で`OptionalType` や `OptionalProtocol`に適合する型を定義することもできますが、例として挙げられた両者ともそんなことは少しも考慮していません。)

別質問の方で話題にされたようなメソッド、要素型が`Optional`の時にだけ働くような拡張メソッドを定義したい場合、現在のSwiftでは、それを自然に表現することが出来ません。

```
extension Array where Element == Optional {
    //...
}
```

`Optional`のようなジェネリック型を使用する場合、型パラメータを明示しないとエラーになります。
```
extension Array where Element == Optional<T> {
    //...
}
```
しかし、上のように書くと、未定義型`T`を使用していると言って怒られます。
```
extension<T> Array where Element == Optional<T> {
    //...
}
```
しかし、Swiftでは、extensionに新たなジェネリックパラメータを導入することは出来ず、上のような書き方はまともに構文解析さえしてくれず、意味不明のエラーになります。

そこで`Element`が`Optional`型であると言う制約を表現するために、`OptionalType`なんてプロトコルを導入し、`Optional`型だけをそのプロトコルに適合させておきます。

つまり、
「ある型が`OptionalType`に適合している」⇔「その型は`Optional`型である」
と言う状態にしてしまうわけです。

その状態では、
```
extension Array where Element: OptionalType {
    //...
}
```
なんて宣言してやれば、`Element`が`Optional`型の時にだけ有効なextensionが宣言できると言うわけです。

特に昔のSwiftでは、ジェネリック型に`==`での制約をつけることができなかったこともあり、よく使われたテクニックです。

---
現在では`==`を使った制約も使えますし、メソッド単位であればextension中で新たなジェネリックパラメータを導入することも出来るので、masakih さんの回答にあるようなコードの書き方の方が自然でしょう。

```
extension Sequence {
    func removeNils<T>() -> [T]
        where Element == Optional<T>
    {
        return self.compactMap { $0 }
    }
    
    func mapNotNil<R, T>(_ transform: (T) throws -> R) rethrows -> [R]
        where Element == Optional<T>
    {
        return try self.compactMap{try $0.map{try transform($0)}}
    }
}
```
すべてのメソッドに`where Element == Optional<T>`なんて制約を書くより、`Optional`型であることを示すためだけのプロトコルを定義する方がまし…なんて思う人もいるかもしれませんが。

---
***`associatedtype Wrapped`
と
Swift自体の
`public enum Optional<Wrapped> : ExpressibleByNilLiteral`
の`<Wrapped>` の関係性について***

`OptionalType.Wrapped`は、プロトコル`OptionalType`の関連型(associatedtype)、`Optional.Wrapped`はジェネリック型`Optional`の型パラメータであるわけですが、`Optional`型をプロトコル`OptionalType`に適合させることにより、両者は同じ型であるものと扱われるようになります。

```
protocol MyProtocol {
    associatedtype MyAssocType

    var assocValue: MyAssocType? {get}
}
extension MyProtocol {
    func showMyAssocType() {
        print(MyAssocType.self)
    }
}

class MyClass<T> {
    var assocValue: T? = nil
    
    func showT() {
        print(T.self)
    }
}
extension MyClass: MyProtocol {}
let myObj = MyClass<Int>()
myObj.showT() //->Int
myObj.showMyAssocType() //->Int
```