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