small changes in Signature
type conversion from/to PrologTerm
deal with wildcards in Type.Conv.of_prolog;
TPTP constructors for PrologTerm
type inference, again!