let data_of_integer (x : Formula.integer F.term) : data = Data (F.wrap x)