docs: public static TreeSet<CharType> getTypeSet(String str) {
  		CharType[] tag = getType(str);
  		TreeSet<CharType> set = new TreeSet<CharType>();
  		for(int i=0;i<tag.length;i++){
  			set.add(tag[i]);			
  		}	
  		return set;
  	}