I'm little lost, sorry if that's already discussed.  But, if the import problem is solved, can we use Set/FiniteSet/Naturals here, not a new fancy class?