Take the high bound in extension check

[som-snytt]

Fixes #23293

Don't look up member in type of a type parameter that is a type bound; always just take its hiBound.

Also, the mnemonic for "nilary" is that the parameter list is Nil, i.e., it exists and is empty.