let e_var v = Tvar v