let some x =  Fol.Tapp ("Some", [x])