Rename protocols that use Self or associated types to “constraints”, and declare them as such

[hlovatt (Howard Lovatt)]

@JoeyKL

Equatable is anti-heterogenous. It would be very confusing to have two values of type Equatable that cannot be compared.

For both generalized existential and generic protocols you would get a type error from the compiler.