some updates so that localizing errors is possible in Type, PrologTerm...
updated parser and tptp ast to use PrologTerms