Make value attributes non-extensible.

This simplifies so much and makes impl more robust.