Making validation rules contravariant for reuse with inheritance.
Adding specs for binding validator.