InvocationValue is now Iterable-based

Checkpoint towards Monad composition of Iterable, Option and
InvocationValue.