i_with predicate enforces singleton quantity without indicating so in name/signature

[lambdacc]

Describe the bug
In cocktail/vodka_inputs.ak, the predicate i_with(policy, name) enforces quantity_of(...) == 1, implicitly assuming a singleton asset. This constraint is not reflected in the function name, signature, or documentation.

To Reproduce

1. Use i_with(policy, name) from cocktail/vodka_inputs.ak to filter or group inputs
2. Provide an input containing the specified PolicyId and AssetName with quantity > 1
3. Observe that the input is excluded despite containing the asset

Expected behavior
Either:

• i_with(policy, name) should match any input containing the asset (quantity > 0), or

• the API should be split into two explicit helpers:

  • a generic i_with(...) (quantity > 0)
  • a clearly named singleton-specific helper (e.g. i_with_singleton(...) or i_with_exactly_one(...))

Screenshots
N/A

Station (please complete the following information):

• OS: Windows
• Version: 10

Additional context
Making the singleton assumption explicit via naming or function split would reduce semantic ambiguity and improve composability when working with fungible assets.

[lambdacc]

Happy to open a small PR adding a generic i_with_any (≥1) helper and a clearly named singleton variant, if this aligns with the intended semantics.