Add `such_that` method to `Gen` class in `papylon.gen`

`CheckResult` is refactored and has new status `fail to generate`

And this PR will resolve the issue #13 .