The correct fix should be to remove the behavior of FiniteSet of converting an iterable into a FiniteSet, i.e., `FiniteSet({1, 2, 3})` should give `FiniteSet(FiniteSet(1, 2, 3))`. Otherwise it is impossible to create nested sets.