let data_of_boolean (x:Formula.boolean F.term) : data = Data (F.wrap x)