Added nullability and equality combinators + tests (still needs some documentation).
Modified DSL to accept validators of supertypes where appropriate (in other words, validation is covariant -- a Validator[Any] is applicable to any T).
Added documentation for nullability/equality combinators and associated DSL.