public static TypeVar unique(String prefix){
  return new TypeVar(prefix + "___" + Integer.toHexString(tvOffset++),true);
}

public static TypeVar unique ( String prefix ) { return new TypeVar ( prefix + "___" + Integer . toHexString ( tvOffset ++ ) , true ) ; }
produces a new type variable with a unique name .
