NEW: TermInterface protocol.

There is now TermInterface protocols for PrologConjunction, PrologDisjunction and PrologNegation. The specific thing about them is that they cannot be unified.