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