Advanced Associated Type Constraints

Apply constraints directly to associated types to enforce stricter API contracts.