[Pitch] Extensions on bound generic types

Evolution Pitches