Rename super() to supertype()

[nalimilan]

There's currently a naming inconsistency between subtypes() and super(). How about renaming the latter to supertype(). That would make it more explicit and easier to find.

[jakebolewski]

👍

[tkelman]

+1

[simonbyrne]

+1

[nalimilan]

I didn't expect such a support. ;-) See PR #14338.

[J-Sarnoff]

+1

[ScottPJones]

More support here, for what it's worth!