FiniteSet: Add a doctest for creating a set from a list of members