Variant of Iterable used to describe
collections with a finite number of elements.
Basically, this trait just adds size and toString to Iterable,
as most of the methods in Iterable already assume finite-ness.