added tcomb-doc explanation
Constraint examples