Size isn't optional

In fact we don't always implicitly know the size, e.g. in a structure with
multiple lists, so let's not speculate about whether or not we can remove it,
because we can't.