Validatem combinator for marking a hasShape or object literal rule as allowing additional, unspecified properties