predicate-typed-0.6.0.0: Predicates, Refinement types and Dsl