add PrologTerm.Syntactic constructor
fix printing of Type in TPTP