Generalized VarSet to "template<typename T> small_set<T>"