Change TPTP parser to not use the STRING type; this necessary to repurpose strings for the upcoming string theory