let fresh_named_var name t = 
  incr var_counter;
  VarT (name, Some !var_counter, t)