let var v = Fol.e_var v