public TypeVariable typeVariable(){
  int id=typeVariableList.size();
  typeVariableList.add(null);
  TypeVariable result=new TypeVariable(id,this);
  typeVariableList.set(id,result);
  return result;
}

public TypeVariable typeVariable ( ) { int id = typeVariableList . size ( ) ; typeVariableList . add ( null ) ; TypeVariable result = new TypeVariable ( id , this ) ; typeVariableList . set ( id , result ) ; return result ; }
get new type variable
