A constraint component that can be used to verify that all value nodes conform to the given node shape.