Re: Buffer-local faces

[Richard Stallman]

    Then subtracting face attributes would be useful too.

I think this is much added complexity without much added benefit.
If there are specific attributes you'd like to override,
you can do that by merging a face which has different values
for those attributes.  That does more or less the same job
without the added complexity.