[Feature] Trait-based expansions for `SolInput` items

### Component

sol! macro

### Describe the feature you would like

Depends on #567.

Add a trait that consumes an iterator of sol items to produce an expansion, in a way that can be composed with other expanders

### Additional context

_No response_