protocol composition

Also written: composition

`A & B`: a type that must conform to both protocols, such as `Named & Shippable`.