`dry-types` needs more use-cases and examples on how to use it with `dry-logic`

[patrickclery]

This conversation got me thinking there is a need for more explanation of using dry-types as objects: