Thanks!  These improvements are very helpful.  The one missing notion is
that "object-or-type" may be a proxy object, in which case super()
returns a new proxy that additionally skips "type".

Perhaps add the following sentence to the end of the first paragraph:
"If *object-or-type* is a proxy object, *super* returns a new proxy that
additionally skips *type*."

Also, I just spotted a typo.  In the following sentence, "in" should be
"it": "This makes in possible to implement “diamond diagrams” where
multiple base classes implement the same method"

Thanks, again!