I know: FiniteSet(acceptable values) or S.Naturals0 if all values are ok is what I meant.