> Would it be clearer if we replaced the literal with a name?
>
>  These C functions are called “type methods” to distinguish them from
> - things like [].append (which we call “object methods”).
> + methods bound to specific instances (things like sys.path.append),
> + which we call “object methods”.

No, I don't think this is the intention (bound vs. unbound). I think the distinction is between special methods recognized by Python, and "plain object methods" defined by the user. Not sure how to express this clearly in the docs though.

Re PEP-7 cleanup: done some for extending/newtypes.html - not sure everything is fixed but it's a bit better now.