number of elements as `i64`, `nil` if unbounded
or if size does not fit into an i64.

Enables the inherited `Set.finite` and `Set.type.equality`, which are
built on `size_option` and panic without it.