& で型を複合するのって、プロトコル&プロトコルは前からできたけど型&プロトコルっていつからできたんだっけ