let kind_of_var = Fol.Var.kind_of_var