Using Text instead of String for the TPTP type
Using Data.Text for creating the TPTP files