NEW: TermInterface extended even more.

TermInterface protocol extended with functions for PrologExpression and PrologFormula.