code: static void makeDigit(Term term, boolean inverse, boolean unicode) {
          BlockSet digit = unicode ? inverse ? UNONDIGIT : UDIGIT :
                  inverse ? NONDIGIT : DIGIT;
          BlockSet.unify(digit, term);
      }
docs: /*
  static void makeICase(Term term, char c) {
  BlockSet bs = new BlockSet();
  
  bs.setChar(Character.toLowerCase(c));
  bs.setChar(Character.toUpperCase(c));
  bs.setChar(Character.toTitleCase(c));
  
  bs.setChar(Category.caseFold(c));
  BlockSet.unify(bs, term);
  }