Parameter specification and type variable tuple should support bounds

[jorenham (Joren Hammudoglu)]

@Jelle

Changing this would be a syntax change that we can’t make until Python 3.16.

Thanks to typing_extensions that shouldn’t matter much for NumPy