Lifting the "Self or associated type" constraint on existentials

Huge +1 from me.