Function wrapper_construct_reject

construct-reject for a bounded `@newtype` wrapper. The wrapper checks the *raw* `min_max` against the inner value (or its `.len()`), with no nint transform, so we synthesize directly from `min_max`.

(
    types: &IntermediateTypes,
    name: &str,
    wrapped: &RustType,
    min_max: Bounds,
)