Improve documentation for the requirements of the `Constraint` used by the `constrained_type`
Improve documentation for the requirements of the `Constraint` used by the `constrained_type`

Fixes #12.

foonathan/type_safe,foonathan/type_safe