* Add TypeCheck.validate, which combines TypeCheck.ok and TypeCheck.validatorError.

* Add readme.