I can't get FiniteSet imported very well. We should move this to core if we want to use it throughout the core. Notice that I couldn't import it into `__init__` so I left conversion from tuple to finite set in nargs.