@asmeurer , what is here *should* work but it doesn't because of the import issues.; I would also like to use FiniteSet for known args rather than a tuple, but that really doesn't matter -- it's just that if Naturals0 is used when any number of arguments is acceptable then it would be nice to use a set in all cases.